Sciweavers

2917 search results - page 92 / 584
» Satisfying Interaction Constraints
Sort
View
LICS
2006
IEEE
14 years 2 months ago
On Tractability and Congruence Distributivity
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...
Emil W. Kiss, Matthew Valeriote
ECAI
2008
Springer
13 years 10 months ago
Diagnosis of Simple Temporal Networks
In many domains successful execution of plans requires careful monitoring and repair. Diagnosis of plan execution supports this process by identifying causes of plan failure. Most ...
Nico Roos, Cees Witteveen
AROBOTS
2010
111views more  AROBOTS 2010»
13 years 9 months ago
Elastic roadmaps - motion generation for autonomous mobile manipulation
The autonomous execution of mobile manipulation tasks in unstructured, dynamic environments requires the consideration of various motion constraints. The task itself imposes constr...
Yuandong Yang, Oliver Brock
ACL
2009
13 years 6 months ago
A Syntax-Driven Bracketing Model for Phrase-Based Translation
Syntactic analysis influences the way in which the source sentence is translated. Previous efforts add syntactic constraints to phrase-based translation by directly rewarding/puni...
Deyi Xiong, Min Zhang, AiTi Aw, Haizhou Li
ICONS
2009
IEEE
14 years 3 months ago
Modeling System Safety Requirements Using Input/Output Constraint Meta-automata
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
Zhe Chen, Gilles Motet