1737 search results - page 222 / 348 » On Interpolation in Existence Logics |
181
click to vote
EDBT
2000
ACM
15 years 10 months ago
2000
ACM
The management and query processing of one dimensional intervals is a special case of extended object handling. One dimensional intervals play an important role in temporal databa...
151
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalism for specifying the quantitative properties to analyze have remained quite primitive. In th...
156
click to vote
WCRE
1995
IEEE
15 years 10 months ago
1995
IEEE
Several processes have been advanced in the literature for reverse engineering of relational databases. The inputs to these processes are relational tables and available contextua...
117
click to vote
AAAI
2008
15 years 8 months ago
2008
Protocols specifying business interactions among autonomous parties enable reuse and promote interoperability. A protocol is specified from a global viewpoint, but enacted in a di...
142
click to vote
AAAI
2008
15 years 8 months ago
2008
We propose a new local search platform that splits a CNF formula into three sub-components: i) a minimal dependency lattice (representing the core connections between logic gates)...