1179 search results - page 109 / 236 » Programming in Hybrid Constraint Languages |
110
click to vote
AIPS
2011
14 years 5 months ago
2011
We address a scheduling problem in the context of military aircraft maintenance where the goal is to meet the aircraft requirements for a number of missions in the presence of bre...
132
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
108
click to vote
IJCAI
2001
15 years 2 months ago
2001
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
CC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
117
click to vote
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...