Buscar
Mostrando ítems 1-10 de 1987
Abstract interpretation of temporal concurrent constraint programs
(Cambridge University Press, 2014)
Proving concurrent constraint programming correct, revisited
(Elsevier, 2015)
Subexponential concurrent constraint programming
(Elsevier, 2015)
On concurrent behaviors and focusing in linear logic
(Elsevier, 2017)
Concurrent design of a lower limb rehabilitation mechanism
(Universidad UTE, 2018)
Multipartite concurrence for identical-fermion systems
(American Physical Society, 2016-03-23)
We study the problem of detecting multipartite entanglement among indistinguishable fermionic particles. A multipartite concurrence for pure states of N identical fermions, each one having a d-dimensional single-particle ...
Formal Verification of Distributed System Using an Executable C Model
(2016)
Formal verification means to rigorously explore the correctness of system designs expressed as mathematical models, most likely with the assistance of modern computers. Original approaches were to model and express a ...
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 ...
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 ...