4426 search results - page 257 / 886 » Concurrent Constraint Programming |
191
click to vote
CONSTRAINTS
2010
15 years 6 months ago
2010
AND/OR search spaces accommodate advanced algorithmic schemes for graphical models which can exploit the structure of the model. We extend and evaluate the depth-first and best-fi...
149
click to vote
ICCBR
2009
Springer
16 years 1 months ago
2009
Springer
Integrity constraint belief merging aims at producing from several knowledge bases, that may be mutually inconsistent, a synthetic knowledge base satisfying a given integrity const...
170
click to vote
IPCO
2007
15 years 8 months ago
2007
A conic integer program is an integer programming problem with conic constraints. Conic integer programming has important applications in finance, engineering, statistical learnin...
177
click to vote
AAIM
2009
Springer
16 years 1 months ago
2009
Springer
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
164
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....