Sciweavers

4609 search results - page 618 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
WSC
2004
15 years 8 months ago
The Potential Coupling Interface: Metadata for Model Coupling
Model coupling is a nontrivial task that is not adequately supported in existing frameworks. Our long term goal is to support the fast-prototyping of model couplings, enabling sci...
Tom Bulatewicz, Janice E. Cuny, Maureen Warman
NIPS
2003
15 years 8 months ago
Auction Mechanism Design for Multi-Robot Coordination
The design of cooperative multi-robot systems is a highly active research area in robotics. Two lines of research in particular have generated interest: the solution of large, wea...
Curt A. Bererton, Geoffrey J. Gordon, Sebastian Th...
AAAI
2000
15 years 8 months ago
Applying Learnable Evolution Model to Heat Exchanger Design
A new approach to evolutionary computation, called Learnable Evolution Model (LEM), has been applied to the problem of optimizing tube structures of heat exchangers. In contrast t...
Kenneth A. Kaufman, Ryszard S. Michalski
AAAI
2000
15 years 8 months ago
Unsupervised Learning and Interactive Jazz/Blues Improvisation
We present a new domain for unsupervised learning: automatically customizing the computer to a specific melodic performer by merely listening to them improvise. We also describe B...
Belinda Thom
ACL
2000
15 years 8 months ago
Spoken Dialogue Management Using Probabilistic Reasoning
Spoken dialogue managers have benefited from using stochastic planners such as Markov Decision Processes (MDPs). However, so far, MDPs do not handle well noisy and ambiguous speec...
Nicholas Roy, Joelle Pineau, Sebastian Thrun