9290 search results - page 1417 / 1858 » The Predictability of Data Values |
217
click to vote
CADE
2008
Springer
16 years 8 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
321
click to vote
VLDB
2003
ACM
16 years 8 months ago
2003
ACM
In data applications such as information integration, there can be limited access patterns to relations, i.e., binding patterns require values to be specified for certain attribut...
311
click to vote
SIGMOD
2009
ACM
16 years 8 months ago
2009
ACM
Sensor networks play a central role in applications that monitor variables in geographic areas such as the traffic volume on roads or the temperature in the environment. A key fea...
211
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
High-quality annotation of biological data is central to bioinformatics. Annotation using terms from ontologies provides reliable computational access to data. The Gene Ontology (...
206
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
A rich set of concepts and techniques has been developed in the context of query processing for the efficient and robust execution of queries. So far, this work has mostly focused...