1366 search results - page 143 / 274 » Modularizing Contexted Constraints |
103
click to vote
DBPL
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
101
click to vote
CIKM
1994
Springer
15 years 3 months ago
1994
Springer
Human Genome Project databases present a confluence of interesting database challenges: rapid schema and data evolution, complex data entry and constraint management, and the need...
KONVENS
1992
15 years 3 months ago
1992
: We consider communication between modules in an integrated architecture for Speech and Natural Language (NL), in particular the communication with the semantics module. In an int...
100
Voted
EXPCS
2007
15 years 3 months ago
2007
Combinatorial optimization problems expressed as Boolean constraint satisfaction problems (BCSPs) arise in several contexts, ranging from the classical unate set-packing problems ...
ESOP
2009
Springer
15 years 3 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...