595 search results - page 86 / 119 » Using Constraints with Memory to Implement Variable Eliminat... |
145
click to vote
KR
2004
Springer
15 years 8 months ago
2004
Springer
One of the major advances in classical planning has been the development of Graphplan. Graphplan builds a layered structure called the planning graph, and then searches this struc...
116
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more and consistent view of those resources is presente...
133
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...
164
click to vote
ANOR
2004
15 years 3 months ago
2004
The aim of Air Traffic Flow Management (ATFM) is to enhance the capacity of the airspace while satisfying Air Traffic Control constraints and airlines requests to optimize their o...
116
click to vote
FSEN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...