1192 search results - page 31 / 239 » Symbolic Query Exploration |
126
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
105
click to vote
CAV
2001
Springer
15 years 6 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
106
Voted
EDBT
2004
ACM
16 years 1 months ago
2004
ACM
Abstract. Non-contiguous subsequence pattern queries search for symbol instances in a long sequence that satisfy some soft temporal constraints. In this paper, we propose a methodo...
DAWAK
2009
Springer
15 years 11 months ago
2009
Springer
Interactive analysis of datacube, in which a user navigates a cube by launching a sequence of queries is often tedious since the user may have no idea of what the forthcoming query...
148
click to vote
ICDE
1991
IEEE
15 years 5 months ago
1991
IEEE
— Constraints play an important role in the efficient query evaluation in deductive databases. In this paper, constraint-based query evaluation in deductive databases is investi...