4651 search results - page 720 / 931 » A Data Quality Browser |
CHI
2006
ACM
14 years 10 months ago
2006
ACM
Searching audio data can potentially be facilitated by the use of automatic speech recognition (ASR) technology to generate text transcripts which can then be easily queried. Howe...
VLSID
2006
IEEE
14 years 10 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
VLDB
2007
ACM
14 years 10 months ago
2007
ACM
In distributed stream processing environments, large numbers of continuous queries are distributed onto multiple servers. When one or more of these servers become overloaded due t...
SIGMOD
2009
ACM
14 years 10 months ago
2009
ACM
A growing mount of available text data are being stored in relational databases, giving rise to an increasing need for the RDBMSs to support effective text retrieval. In this pape...
SIGMOD
2006
ACM
14 years 10 months ago
2006
ACM
There has been a great deal of interest in the past few years on ranking of results of queries on structured databases, including work on probabilistic information retrieval, rank...