Sciweavers

2145 search results - page 256 / 429
» Answering Queries Using Views
Sort
View
IDEAS
2007
IEEE
107views Database» more  IDEAS 2007»
16 years 22 days ago
Examining the Performance of a Constraint-Based Database Cache
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...
Andreas Bühmann, Joachim Klein 0002
CAV
2005
Springer
99views Hardware» more  CAV 2005»
15 years 12 months ago
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++
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...
Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd,...
TLCA
2005
Springer
15 years 12 months ago
Subtyping Recursive Types Modulo Associative Commutative Products
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...
Roberto Di Cosmo, François Pottier, Didier ...
LATIN
2004
Springer
15 years 11 months ago
An Improved Data Stream Summary: The Count-Min Sketch and Its Applications
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...
Graham Cormode, S. Muthukrishnan
NLPRS
2001
Springer
15 years 11 months ago
Sentence Extraction by Questioning
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...
Zenshiro Kawasaki, Keiji Shibata, Masato Tajima