2145 search results - page 256 / 429 » Answering Queries Using Views |
133
click to vote
IDEAS
2007
IEEE
15 years 10 months ago
2007
IEEE
Constraint-based database caching aims at correctly answering SQL query predicates from a local cache database by exploiting constraints that have previously been used in selectin...
122
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...
151
click to vote
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
125
click to vote
LATIN
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a new sublinear space data structure—the Count-Min Sketch— for summarizing data streams. Our sketch allows fundamental queries in data stream summarization such a...
120
click to vote
NLPRS
2001
Springer
15 years 8 months ago
2001
Springer
This paper presents a sentence extraction method based on Concept Coupling Model, a language model for handling natural language sentence structures. Sentence extraction is perfor...