Sciweavers

632 search results - page 29 / 127
» constraints 2000
Sort
View
CL
2000
Springer
13 years 11 months ago
Concurrent Constraint Programming with Process Mobility
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
David Gilbert, Catuscia Palamidessi
JAR
2000
129views more  JAR 2000»
13 years 7 months ago
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
We study the runtime distributions of backtrack procedures for propositional satisfiability and constraint satisfaction. Such procedures often exhibit a large variability in perfor...
Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. ...
ANLP
2000
78views more  ANLP 2000»
13 years 9 months ago
Talk'N'Travel: A Conversational System For Air Travel Planning
We describe Talk'n'Travel, a spoken dialogue language system for making air travel plans over the telephone. Talk'n'Travel is a fully conversational, mixed-ini...
David Stallard
ENDM
2000
174views more  ENDM 2000»
13 years 7 months ago
Hybrid Constraints in Automated Model Synthesis and Model Processing
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
Klaus-Ulrich Leweling, Benno Stein
CVPR
2000
IEEE
14 years 9 months ago
Scene Constraints-Aided Tracking of Human Body
This paper describes a new method for tracking of a human body in 3D motion by using constraints imposed on the body from the scene. An image-based approach for tracking exclusive...
Masanobu Yamamoto, Katsutoshi Yagishita