Sciweavers

350 search results - page 17 / 70
» What's in a Name
Sort
View
ECAI
1992
Springer
14 years 1 days ago
Arc-Consistency for Non-Binary Dynamic CSPs
Constraint satisfaction problems (CSPs) provide a model often used in Artificial Intelligence. Since the problem of the existence of a solution in a CSP is an NP-complete task, man...
Christian Bessière
CP
2008
Springer
13 years 10 months ago
Guiding Search in QCSP+ with Back-Propagation
The Quantified Constraint Satisfaction Problem (QCSP) has been introduced to express situations in which we are not able to control the value of some of the variables (the universa...
Guillaume Verger, Christian Bessiere
EUROS
2008
113views Robotics» more  EUROS 2008»
13 years 10 months ago
Measuring Motion Expressiveness in Wheeled Mobile Robots
This paper addresses the measurement of motion expressiveness in wheeled mobile robots. A neural network based supervised learning strategy is proposed as a method to fuse informat...
João Sequeira
ICFP
2005
ACM
14 years 8 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...
INFOVIS
2005
IEEE
14 years 2 months ago
Visual Correlation for Situational Awareness
We present a novel visual correlation paradigm for situational awareness (SA) and suggest its usage in a diverse set of applications that require a high level of SA. Our approach ...
Yarden Livnat, James Agutter, Shaun Moon, Stefano ...