William P. Birmingham

According to our database1, William P. Birmingham authored at least 72 papers between 1985 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Effects of Network Latency on Games with Human and Distributed Agent Players.
Proceedings of the 2017 AAAI Fall Symposia, Arlington, Virginia, USA, November 9-11, 2017, 2017

2016
In memory of Clive L. Dym.
Artif. Intell. Eng. Des. Anal. Manuf., 2016

2012
Effect of Latency on Pursuit Problems.
Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

2010
Design pedagogy: Representations and processes.
Artif. Intell. Eng. Des. Anal. Manuf., 2010

2007
A comparative evaluation of search techniques for query-by-humming using the MUSART testbed.
J. Assoc. Inf. Sci. Technol., 2007

The AI in AI EDAM.
Artif. Intell. Eng. Des. Anal. Manuf., 2007

Software-defined radio for undergraduate projects.
Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

2006
Query by humming with the VocalSearch system.
Commun. ACM, 2006

2005
Modeling Form for On-line Following of Musical Performances.
Proceedings of the Proceedings, 2005

2004
Name that tune: A pilot study in finding a melody from a sung query.
J. Assoc. Inf. Sci. Technol., 2004

Use of Markov Chains to Design an Agent Bidding Strategy for Continuous Double Auctions.
J. Artif. Intell. Res., 2004

A Comprehensive Trainable Error Model for Sung Music Queries.
J. Artif. Intell. Res., 2004

The MUSART Testbed for Query-by-Humming Evaluation.
Comput. Music. J., 2004

2003
Automatic Thematic Extractor.
J. Intell. Inf. Syst., 2003

V2V: A Second Variation on Query-by-Humming.
Proceedings of the ACM/IEEE 2003 Joint Conference on Digital Libraries (JCDL 2003), 2003

Effectiveness of HMM-based retrieval on large databases.
Proceedings of the ISMIR 2003, 2003

The dangers of parsimony in query-by-humming applications.
Proceedings of the ISMIR 2003, 2003

2002
The MusArt Music-Retrieval System: An Overview.
D Lib Mag., 2002

Algorithms for Chordal Analysis.
Comput. Music. J., 2002

HMM-based musical query retrieval.
Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, 2002

Encoding Timing Information for Musical Query Matching.
Proceedings of the ISMIR 2002, 2002

Johnny Can't Sing: A Comprehensive Error Model for Sung Music Queries.
Proceedings of the ISMIR 2002, 2002

Improved Score Following for Acoustic Performances.
Proceedings of the 2002 International Computer Music Conference, 2002

2001
Web Search - Your Way.
Commun. ACM, 2001

AAAI 2000 Workshop Reports.
AI Mag., 2001

Improving Category Specific Web Search by Learning Query Modifications.
Proceedings of the 2001 Symposium on Applications and the Internet (SAINT 2001), 2001

MUSART: Music Retrieval Via Aural Queries.
Proceedings of the ISMIR 2001, 2001

2000
Part-selection triptych: A representation, problem properties and problem definition, and problem-solving method.
Artif. Intell. Eng. Des. Anal. Manuf., 2000

Emergent Properties of a Market-based Digital Library with Strategic Agents.
Auton. Agents Multi Agent Syst., 2000

Automated Partitioning of Tonal Music.
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

1999
Agent based digital libraries: decentralization and coordination.
IEEE Commun. Mag., 1999

Architecture of a Metasearch Engine That Supports User Information Needs.
Proceedings of the 1999 ACM CIKM International Conference on Information and Knowledge Management, 1999

An Adaptive Agent Bidding Strategy Based on Stochastic Modeling.
Proceedings of the Third Annual Conference on Autonomous Agents, 1999

1998
Creating Ontological Metadata for Digital Library Content and Services.
Int. J. Digit. Libr., 1998

Foreword.
Artif. Intell. Eng. Des. Anal. Manuf., 1998

Improving Web Search Using Utility Theory.
Proceedings of the CIKM'98 First Workshop on Web Information and Data Management (WIDM'98), 1998

Using Decision Theory to Order Documents.
Proceedings of the 3rd ACM International Conference on Digital Libraries, 1998

A Mad Approach for Solving Part-Selection Problems.
Proceedings of the Artificial Intelligence in Design '98, 1998

1997
Interface finite-state machines: definition, minimization, and decomposition.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997

The agent architecture of the Univercity of Michingan Digital Library.
IEE Proc. Softw. Eng., 1997

Guest Editors' Introduction: Understanding the Nature of Design.
IEEE Expert, 1997

Introduction to <i>AIEDAM</i>.
Artif. Intell. Eng. Des. Anal. Manuf., 1997

Matching Requests for Agent Services with Differentiated Vocabulary.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996
Editorial: the Sisyphus-VT initiative.
Int. J. Hum. Comput. Stud., 1996

Solving VT by reuse.
Int. J. Hum. Comput. Stud., 1996

Toward Inquiry-Based Education Through Interacting Software Agents.
Computer, 1996

An attribute-space representation and algorithm for concurrent engineering.
Artif. Intell. Eng. Des. Anal. Manuf., 1996

Achieving Agent Coordination via Distributed Preferences.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
An agent-based architecture for digital libraries.
D Lib Mag., 1995

Preference-directed design.
Artif. Intell. Eng. Des. Anal. Manuf., 1995

Special Issue: What is Concurrent Engineering?
Artif. Intell. Eng. Des. Anal. Manuf., 1995

A symbolic-simulation approach to the timing verification of interacting FSMs.
Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

1994
DIDS: rapidly prototyping configuration design systems.
J. Intell. Manuf., 1994

Solving Sisyphus by design.
Int. J. Hum. Comput. Stud., 1994

Automated Design for Concurrent Engineering.
IEEE Expert, 1994

Special Issue on Innovative Approaches to Concurrent Engineering.
Artif. Intell. Eng. Des. Anal. Manuf., 1994

The Minimization and Decomposition of Interface State Machines.
Proceedings of the 31st Conference on Design Automation, 1994

Building Non-Brittle Knowledge-Acquisition Tools.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993
Optimal part selection.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993

Automating the design of computer systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993

Knowledge-acquisition tools with explicit problem-solving models.
Knowl. Eng. Rev., 1993

An analysis of several configuration design systems.
Artif. Intell. Eng. Des. Anal. Manuf., 1993

Towards Optimal System-Level Design.
Proceedings of the 30th Design Automation Conference. Dallas, 1993

1992
The Automatic Generation of Bus-Interface Models.
Proceedings of the 29th Design Automation Conference, 1992

Automating the design of computer systems - the MICON project.
Jones and Bartlett Publishers, ISBN: 978-0-86720-241-0, 1992

1991
Synthesis of Multiple-Input Change Asynchronous Finite state Machines.
Proceedings of the 28th Design Automation Conference, 1991

1990
Failure Recovery in the MICON System.
Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990

1989
The Micon system for computer design.
IEEE Micro, 1989

Capturing Designer Expertise the CGEN System.
Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989

1986
Knowlege-based expert systems and their application (tutorial session.
Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986

1985
Fault Recovery of Triplicated Software on the Intel iAPX 432.
Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

DAS/Logic<sup>TM</sup>: A Rule-Based Logic Design Assistant.
Proceedings of the Artificial Intelligence Applications, 1985


  Loading...