10021 search results - page 1714 / 2005 » Adaptive information extraction |
110
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
In this paper, we present findings and design decisions arisen while designing a review sheet within the confines of a pre-existing digital textbook, AdaptiveBook. Through user st...
139
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Abstract This paper describes a formalisation of the lambda-calculus in a HOL-based theorem prover using nominal techniques. Central to the formalisation is an inductive set that i...
205
click to vote
VLDB
2007
ACM
16 years 4 months ago
2007
ACM
In large-scale distributed information systems, where participants are autonomous and have special interests for some queries, query allocation is a challenge. Much work in this c...
204
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
A cracked database is a datastore continuously reorganized based on operations being executed. For each query, the data of interest is physically reclustered to speed-up future ac...
150
click to vote
EDBT
2002
ACM
16 years 4 months ago
2002
ACM
With the emergence of applications that require content-based similarity retrieval, techniques to support such a retrieval paradigm over database systems have emerged as a critica...