Sciweavers

949 search results - page 5 / 190
» Theory of Constraints
Sort
View
CP
1998
Springer
15 years 9 months ago
Random Constraint Satisfaction: Theory Meets Practice
Abstract. We study the experimental consequences of a recent theoretical result by Achlioptas et al. that shows that conventional models of random problems are trivially insoluble ...
Ewan MacIntyre, Patrick Prosser, Barbara M. Smith,...
INFORMATIKTAGE
2008
15 years 7 months ago
Constraint Based Transformation Theory
During the last 25 years the complexity and functionality of software systems has increased dramatically. Software systems have to be updated and restructured continuously [22]. I...
Stefan Natelberg
102
Voted
ICRA
2003
IEEE
91views Robotics» more  ICRA 2003»
15 years 10 months ago
Spatial motion constraints: theory and demonstrations for robot guidance using virtual fixtures
Panadda Marayong, Ming Li, Allison M. Okamura, Gre...
LICS
1998
IEEE
15 years 9 months ago
The First-Order Theory of Ordering Constraints over Feature Trees
Martin Müller, Joachim Niehren, Ralf Treinen
137
Voted
CSCLP
2006
Springer
15 years 9 months ago
Solving First-Order Constraints in the Theory of the Evaluated Trees
Thi-Bich-Hanh Dao, Khalil Djelloul