942 search results - page 83 / 189 » Cooperating Constraint Solvers |
106
click to vote
ENTCS
2007
15 years 23 days ago
2007
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...
137
Voted
TOG
2012
13 years 3 months ago
2012
We present a physically-based system to simulate and control the locomotion of soft body characters without skeletons. We use the finite element method to simulate the deformatio...
119
Voted
AIPS
2006
15 years 2 months ago
2006
Recent research in AI Planning is focused on improving the quality of the generated plans. PDDL3 incorporates hard and soft constraints on goals and the plan trajectory. Plan traj...
94
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Building adaptive constraint solvers is a major challenge in constraint programming. An important line of research towards this goal is concerned with ways to dynamically adapt th...
107
click to vote
ISSRE
2006
IEEE
15 years 6 months ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...