3928 search results - page 496 / 786 » order 2006 |
206
Voted
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
314
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
The continuous sliding-window query model is used widely in data stream management systems where the focus of a continuous query is limited to a set of the most recent tuples. In ...
262
Voted
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
ct In some applications, data capture dominates query processing. For example, monitoring moving objects often requires more insertions and updates than queries. Data gathering usi...
298
Voted
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
The area of automatic selection of physical database design to optimize the performance of a relational database system based on a workload of SQL queries and updates has gained p...
308
Voted
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
Recently, there has been extensive research that generated a wealth of new XML full-text query languages, ranging from simple Boolean search to combining sophisticated proximity a...