Buscar
Mostrando ítems 1-10 de 788
Integrating true concurrency into the robot programming language GOLOG
(IEEE, 1999)
Research in knowledge representation and theories of action has led to the development of several logical languages to describe the dynamics of the world. One of the most influential languages developed is the situation ...
Probabilistic extension to the concurrent constraint factor oracle model for music improvisation
(Asociacion Espanola de Inteligencia Artificial, 2016-01-01)
We can program a Real-Time (RT) music improvisation system in C++ without a formal semantic or we can model it with process calculi such as the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. “A Concurrent ...
Dynamic spaces in concurrent constraint programming
(Elsevier, 2014)
Proving concurrent constraint programming correct, revisited
(Elsevier, 2015)
Subexponential concurrent constraint programming
(Elsevier, 2015)
A Symbolic model for timed concurrent constraint programming
(Elsevier, 2015)
On concurrent behaviors and focusing in linear logic
(Elsevier, 2017)
Concurrency and Probability: Removing Confusion, Compositionally
(Tech Univ Braunschweig, 2019-12)
Assigning a satisfactory truly concurrent semantics to Petri nets with confusion and distributed decisions is a long standing problem, especially if one wants to resolve decisions by drawing from some probability distribution. ...
NTCCRT: A concurrent constraint framework for soft real-time music interaction
(Asian Research Publishing Network, 2015-01-01)
Writing music interaction systems is not easy because their concurrent processes usually access shared resources in a non-deterministic order, often leading to unpredictable behavior. Using Pure Data (Pure Data) and Max/MSP, ...