2703 search results - page 339 / 541 » Working Class Hero |
170
click to vote
B
2007
Springer
16 years 23 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
196
click to vote
BTW
2007
Springer
16 years 23 days ago
2007
Springer
: Distributed top-k query processing is increasingly becoming an essential functionality in a large number of emerging application classes. This paper addresses the efficient alge...
171
click to vote
COLT
2007
Springer
16 years 23 days ago
2007
Springer
Property testing deals with tasks where the goal is to distinguish between the case that an object (e.g., function or graph) has a prespecified property (e.g., the function is li...
163
click to vote
COLT
2007
Springer
16 years 23 days ago
2007
Springer
This paper solves an important problem left open in the literature by showing that U-shapes are unnecessary in iterative learning. A U-shape occurs when a learner first learns, t...
168
click to vote
CP
2007
Springer
16 years 23 days ago
2007
Springer
It has been widely observed that there is no “dominant” SAT solver; instead, different solvers perform best on different instances. Rather than following the traditional appr...