440 search results - page 39 / 88 » Predicate Abstraction with Indexed Predicates |
125
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
An XML range query may impose predicates on the numerical or textual contents of the elements and/or their respective path structures. In order to handle content and structure ran...
137
Voted
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
With the increasing occurrence of temporal and spatial data in present-day database applications, the interval data type is adopted by more and more database systems. For an effic...
127
click to vote
ICDE
2010
IEEE
15 years 10 months ago
2010
IEEE
— Research on query optimization has traditionally focused on exhaustive enumeration of an exponential number of candidate plans. Alternatively, heuristics for query optimization...
156
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
129
click to vote
DBPL
2007
Springer
15 years 11 months ago
2007
Springer
Data streams are modeled as infinite or finite sequences of data elements coming from an arbitrary but fixed universe. The universe can have various built-in functions and predi...