5130 search results - page 293 / 1026 » Constraint Query Languages |
152
click to vote
ACL
1998
15 years 8 months ago
1998
Since the early Sixties and Seventies it has been known that the regular and context-free languages arc characterized by definability in the monadic second-order theory of certain...
137
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...
152
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Subquadrangles are a natural way in which to represent constraints as they do not restrict any subset of their scope. There are already known methods for converting any g...
185
click to vote
UM
2005
Springer
16 years 2 days ago
2005
Springer
This research aims at reconciling web personalization with privacy constraints imposed by legal restrictions and by users’ privacy preferences. We propose a software product line...
154
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
Set constraints are a useful formalism for verifying properties of programs. Usually, they are interpreted over the universe of finite terms. However, some logic languages allow i...