2191 search results - page 301 / 439 » Query Processing in the ROL system |
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
147
click to vote
SIGMOD
2009
ACM
15 years 10 months ago
2009
ACM
We demonstrate the BioNav system, a novel search interface for biomedical databases, such as PubMed. BioNav enables users to navigate large number of query results by categorizing...
154
click to vote
SIGMOD
2008
ACM
15 years 10 months ago
2008
ACM
Scientific workflow systems are increasingly used to automate complex data analyses, largely due to their benefits over traditional approaches for workflow design, optimization, a...
ICIAP
1997
ACM
15 years 2 months ago
1997
ACM
—A major research subject in image databases is to support efficient and effective access to images based on their visual content. In color image databases, this requires to sup...
TCSV
2008
14 years 10 months ago
2008
Video fingerprints are feature vectors that uniquely characterize one video clip from another. The goal of video fingerprinting is to identify a given video query in a database (DB...