Sciweavers

2917 search results - page 92 / 584
» Satisfying Interaction Constraints
Sort
View
LICS
2006
IEEE
15 years 10 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
15 years 5 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»
15 years 4 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
15 years 2 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
15 years 11 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