6926 search results - page 1007 / 1386 » A More Effective CEFF |
162
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
We are interested in building and evaluating human computer interfaces that make information more memorable. Psychology research informs us that humans access memories through cue...
162
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
The DPLL procedure is the basis of some of the most successful propositional satisfiability solvers to date. Although originally devised as a proofprocedure for first-order logic, ...
250
click to vote
VLDB
2001
ACM
16 years 7 months ago
2001
ACM
Smartcards are the most secure portable computing device today. They have been used successfully in applications involving money, proprietary and personal data (such as banking, h...
270
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we argue that developing information extraction (IE) programs using Datalog with embedded procedural extraction predicates is a good way to proceed. First, compared ...
293
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
With the proliferation of the RDF data format, engines for RDF query processing are faced with very large graphs that contain hundreds of millions of RDF triples. This paper addre...