1179 search results - page 55 / 236 » Programming in Hybrid Constraint Languages |
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
HOPL
2007
14 years 1 months ago
2007
This paper outlines the history of the C++ programming language from the early days of its ISO standardization (1991), through the 1998 ISO standard, to the later stages of the C+...
CP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We study the global cardinality constraint (gcc) and pro
SAC
2009
ACM
14 years 4 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...