2678 search results - page 387 / 536 » Comparative Evaluation of Approaches to Propositionalization |
220
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
We consider the problem of efficiently producing ranked results for keyword search queries over hyperlinked XML documents. Evaluating keyword search queries over hierarchical XML ...
154
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
134
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
The skyline query returns the most interesting tuples according to a set of explicitly defined preferences among attribute values. This work relaxes this requirement, and allows us...
181
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
: Global positioning systems (GPS) and mobile phone networks are making it possible to track individual users with an increasing accuracy. It is natural to ask whether one can use ...
156
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Energy consumption of mobile readers is becoming an important issue as applications of RFID systems pervade different aspects of our lives. Surprisingly, however, these systems ar...