Sciweavers

4426 search results - page 16 / 886
» Concurrent Constraint Programming
Sort
View
ICLP
1999
Springer
15 years 1 months ago
Comparing Trailing and Copying for Constraint Programming
A central service of a constraint programming system is search. In almost all constraint programming systems search is based on trailing, which is well understood and known to be ...
Christian Schulte
CONCURRENCY
2002
79views more  CONCURRENCY 2002»
14 years 9 months ago
Programming environments for multidisciplinary Grid communities
Naren Ramakrishnan, Layne T. Watson, Dennis G. Kaf...
MICRO
2010
IEEE
170views Hardware» more  MICRO 2010»
14 years 7 months ago
Tolerating Concurrency Bugs Using Transactions as Lifeguards
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...
Jie Yu, Satish Narayanasamy
FUIN
2010
116views more  FUIN 2010»
14 years 6 months ago
An Investigation of Multi-Agent Planning in CLP
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
EPIA
1999
Springer
15 years 1 months ago
Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...
Miguel Ferrand, João Alexandre Leite, Am&ia...