4212 search results - page 479 / 843 » Rights Expression Languages |
191
click to vote
CP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In this paper, we present a major improvement in the search procedures in constraint programming. First, we integrate various search procedures from AI and OR. Second, we...
204
click to vote
ICFP
1998
ACM
15 years 11 months ago
1998
ACM
We present a purely functional implementation of the computational differentiation tools — the well known numeric (i.e., not symbolic) techniques which permit one to compute poin...
186
click to vote
PODS
1998
ACM
15 years 11 months ago
1998
ACM
We study the complexity of the problem of answering queries using materialized views. This problem has attracted a lot of attention recently because of its relevance in data integ...
184
click to vote
TYPES
1998
Springer
15 years 11 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
154
click to vote
TOOLS
1997
IEEE
15 years 11 months ago
1997
IEEE
We describe how to express homomorphic translations with an object-oriented design. This includes a uniform approach to the addition of external functionality to data structures. ...