5130 search results - page 195 / 1026 » Constraint Query Languages |
171
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Optimal path queries are queries to obtain an optimal path specified by a given criterion of optimality. There have been many studies to give efficient algorithms for classes of o...
170
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Dominance constraints are widely used in computational linguistics as a language for talking and reasoning about trees. In this paper, we extend dominance constraints by ...
168
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. By introducing the Regular Membership Constraint, Gilles Pesant pioneered the idea of basing constraints on formal languages. The paper presented here is highly motivated...
163
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...
165
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...