606 search results - page 56 / 122 » Constraint Hierarchies and Logic Programming |
APPT
2003
Springer
14 years 2 months ago
2003
Springer
This paper focuses on the problem of scheduling outages to computer systems in complex distributed environments. The interconnected nature of these systems makes scheduling global ...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— Tomorrow’s humanoids will operate in human environments, where efficient manipulation and locomotion skills, and safe contact interactions will be critical design fa...
ICFP
2008
ACM
14 years 9 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
PPDP
2004
Springer
14 years 2 months ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
This paper considers the length-lex domain for set-variables in constraint programming which includes not only membership but also cardinality and lexicographic information. The p...