5130 search results - page 348 / 1026 » Constraint Query Languages |
195
click to vote
CP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...
186
click to vote
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
219
click to vote
CC
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
186
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rul...
184
click to vote
ACL
2007
15 years 8 months ago
2007
Over the last few years, two of the main research directions in machine learning of natural language processing have been the study of semi-supervised learning algorithms as a way...