2050 search results - page 21 / 410 » constraints 2010 |
INFORMS
2010
13 years 4 months ago
2010
use for constraint solving, abstract interpretation, spatial databases, and theorem proving. In this paper we develop new incremental algorithms for UTVPI constraint satisfaction a...
SIAMCO
2010
13 years 2 months ago
2010
We study a class of Markovian optimal stochastic control problems in which the controlled process Z is constrained to satisfy an a.s. constraint Z (T) G Rd+1 P - a.s. at some fi...
ENTCS
2006
13 years 7 months ago
2006
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give a...
CPAIOR
2010
Springer
14 years 10 days ago
2010
Springer
CPAIOR
2010
Springer
14 years 10 days ago
2010
Springer
