5130 search results - page 354 / 1026 » Constraint Query Languages |
153
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
184
Voted
CP
2004
Springer
16 years 2 days ago
2004
Springer
In this talk we present a number of problems for network design, planning and analysis and show how they can be addressed with different hybrid CP solutions. Clearly, this problem...
186
click to vote
ICFEM
2004
Springer
16 years 1 days ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
176
Voted
CONCUR
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
157
Voted
ACL
1998
15 years 8 months ago
1998
Starting from descriptions of French connectives (in particular "donc"---therefore), on the one hand, and aspectual properties of French tenses pass4 simple and imparfai...