13841 search results - page 61 / 2769 » Algorithms and Constraint Programming |
CORR
2006
Springer
15 years 15 days ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...
CP
2007
Springer
15 years 6 months ago
2007
Springer
We consider soft constraint problems where some of the preferences may be unspecified. This models, for example, situations with several agents providing the data, or with possibl...
100
click to vote
CP
2007
Springer
15 years 6 months ago
2007
Springer
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint opt...
188
click to vote
VLDB
2007
ACM
16 years 20 days ago
2007
ACM
In this article, we propose a new approach for querying and indexing a database of trees with specific applications to XML datasets. Our approach relies on representing both the q...
PDP
2008
IEEE
15 years 6 months ago
2008
IEEE