536 search results - page 49 / 108 » A Translational Approach to Constraint Answer Set Solving |
197
click to vote
VLDB
2005
ACM
16 years 4 months ago
2005
ACM
Abstract. We propose a mediator model for providing integrated and unified access to multiple taxonomy-based sources. Each source comprises a taxonomy and a database that indexes o...
134
click to vote
VLDB
2002
ACM
15 years 3 months ago
2002
ACM
Safe programming languages encourage the development of dynamically extensible systems, such as extensible Web servers and mobile agent platforms. Although protection is of utmost...
140
click to vote
HEURISTICS
2010
15 years 1 months ago
2010
This paper investigates an adaptive constructive method for solving nurse rostering problems. The constraints considered in the problems are categorised into three classes: those t...
128
click to vote
FLOPS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
157
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...