4426 search results - page 79 / 886 » Concurrent Constraint Programming |
129
Voted
IJIS
2010
15 years 1 months ago
2010
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...
164
click to vote
C3S2E
2008
ACM
15 years 5 months ago
2008
ACM
Software systems bridge the gap between information processing needs and available computer hardware. As system requirements grow in complexity and hardware evolves, the gap does ...
140
click to vote
MEMOCODE
2008
IEEE
15 years 10 months ago
2008
IEEE
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...
134
click to vote
CP
2005
Springer
15 years 9 months ago
2005
Springer
The eplex library of the ECLi PSe Constraint Logic Programming platform allows the integration of Mathematical Programming techniques with its native Constraint Logic Programming t...
158
click to vote
IJCAI
1997
15 years 5 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...