Sciweavers

632 search results - page 29 / 127
» constraints 2000
Sort
View
118
Voted
CL
2000
Springer
15 years 5 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
115
Voted
JAR
2000
129views more  JAR 2000»
15 years 1 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. ...
66
Voted
ANLP
2000
78views more  ANLP 2000»
15 years 3 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
112
Voted
ENDM
2000
174views more  ENDM 2000»
15 years 1 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
105
Voted
CVPR
2000
IEEE
16 years 3 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