Results 161 to 170 of about 618 (174)

Tales of Spatiality in stochastic Concurrent Constraint Programming

2009
Stochastic Concurrent Constraint Programming (sCCP) extends CCP with a stochastic semantics in continuous time. As such, it can be used to model biological systems. The characterizing feature of sCCP is its exibility, given by the computational and reasoning capabilities of the constraint store. In this paper we discuss how such features can be used to
BORTOLUSSI, LUCA, POLICRITI A.
openaire   +1 more source

Hybrid approximation of Stochastic Concurrent Constraint Programming

2007
BORTOLUSSI, LUCA, POLICRITI A.
openaire   +1 more source

Timed Concurrent Constraint Programming for Analysing Biological Systems

Electronic Notes in Theoretical Computer Science, 2007
Julian Gutierrez, Jorge A Perez, Camilo Rueda   +2 more
exaly  

Dynamical Compartments in stochastic Concurrent Constraint Programming.

2009
BORTOLUSSI, LUCA, ALBERTO P.
openaire   +1 more source

Dynamic Spaces in Concurrent Constraint Programming

Electronic Notes in Theoretical Computer Science, 2014
CARLOS Olarte, Vivek Nigam, Elaine Pimentel   +2 more
exaly  

Proving Concurrent Constraint Programming Correct, Revisited

Electronic Notes in Theoretical Computer Science, 2015
CARLOS Olarte, Elaine Pimentel
exaly  

Subexponential concurrent constraint programming

Theoretical Computer Science, 2015
CARLOS Olarte, Elaine Pimentel, Vivek Nigam   +2 more
exaly  

Hybrid metaheuristics for stochastic constraint programming

Constraints, 2014
Steven Prestwich, S Armağan Tarim, Roberto Rossi   +2 more
exaly  

Stochastic Constraint Programming: A Scenario-Based Approach

Constraints, 2006
S Armağan Tarim, Suresh Manandhar, Toby Walsh   +2 more
exaly  

A Symbolic Model for Timed Concurrent Constraint Programming

Electronic Notes in Theoretical Computer Science, 2015
Jaime Arias, CARLOS Olarte
exaly