Sciweavers

7092 search results - page 25 / 1419
» Parallelizing constraint programs
Sort
View
CPAIOR
2006
Springer
14 years 23 days ago
An Efficient Hybrid Strategy for Temporal Planning
Temporal planning (TP) is notoriously difficult because it requires to solve a propositional STRIPS planning problem with temporal constraints. In this paper, we propose an efficie...
Zhao Xing, Yixin Chen, Weixiong Zhang
PPDP
2009
Springer
14 years 3 months ago
A framework for abstract interpretation of timed concurrent constraint programs
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...
POPL
1999
ACM
14 years 1 months ago
Stochastic Processes as Concurrent Constraint Programs
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden