1033 search results - page 187 / 207 » The Relative History Heuristic |
108
click to vote
CADE
2005
Springer
16 years 3 days ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
180
click to vote
VLDB
2004
ACM
16 years 1 days ago
2004
ACM
In many applications involving continuous data streams, data arrival is bursty and data rate fluctuates over time. Systems that seek to give rapid or realtime query responses in su...
184
click to vote
VLDB
2007
ACM
16 years 1 days ago
2007
ACM
This paper introduces a class of conditional inclusion dependencies (CINDs), which extends traditional inclusion dependencies (INDs) by enforcing bindings of semantically related ...
191
click to vote
SIGMOD
2006
ACM
15 years 12 months ago
2006
ACM
Text is ubiquitous and, not surprisingly, many important applications rely on textual data for a variety of tasks. As a notable example, information extraction applications derive...
PODS
2002
ACM
15 years 12 months ago
2002
ACM
In multidimensional data models intended for online analytic processing (OLAP), data are viewed as points in a multidimensional space. Each dimension has structure, described by a...