Sciweavers

7092 search results - page 25 / 1419
» Parallelizing constraint programs
Sort
View
CPAIOR
2006
Springer
15 years 10 months 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
16 years 1 months ago
A framework for abstract interpretation of timed concurrent constraint programs
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...
POPL
1999
ACM
15 years 11 months ago
Stochastic Processes as Concurrent Constraint Programs
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden