1939 search results - page 248 / 388 » Dynamic Lex Constraints |
140
click to vote
HEURISTICS
2006
15 years 4 months ago
2006
Multiobjective optimization deals with problems involving multiple measures of performance that should be optimized simultaneously. In this paper we extend bucket elimination (BE),...
128
click to vote
JAR
2008
15 years 4 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
129
click to vote
JFR
2008
15 years 4 months ago
2008
Tractor-trailer reversing is a classical non-linear control problem in which many of the solutions proposed in the literature perform poorly in the presence of real-world constrai...
138
click to vote
CPC
2007
15 years 4 months ago
2007
We study a dynamically evolving random graph which adds vertices and edges using preferential attachment and is “attacked by an adversary”. At time t, we add a new vertex xt a...
137
click to vote
LISP
2008
15 years 4 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...