9871 search results - page 1862 / 1975 » On the Structure of Low Sets |
178
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Rank-aware query processing has become essential for many applications that return to the user only the top-k objects based on the individual user's preferences. Top-k queries...
203
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
166
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
167
click to vote
WISE
2009
Springer
16 years 3 months ago
2009
Springer
Social tagging is an increasingly popular phenomenon with substantial impact on the way we perceive and understand the Web. For the many Web resources that are not self-descriptive...
183
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
—The vision of the Semantic Web has brought about new challenges at the intersection of web research and data management. One fundamental research issue at this intersection is t...