2143 search results - page 358 / 429 » corr 2010 |
102
click to vote
CORR
2010
Springer
15 years 22 days ago
2010
Springer
Designing and implementing efficient, provably correct parallel machine learning (ML) algorithms is challenging. Existing high-level parallel abstractions like MapReduce are insuf...
86
Voted
CORR
2010
Springer
15 years 22 days ago
2010
Springer
In 1992, Bartholdi, Tovey, and Trick [1992] opened the study of control attacks on elections--attempts to improve the election outcome by such actions as adding/deleting candidate...
112
click to vote
CORR
2010
Springer
15 years 22 days ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
CORR
2010
Springer
15 years 22 days ago
2010
Springer
Search engines today present results that are often oblivious to recent shifts in intent. For example, the meaning of the query `independence day' shifts in early July to a U...
CORR
2010
Springer
15 years 22 days ago
2010
Springer
It is well known that there is a sharp density threshold for a random r-SAT formula to be satisfiable, and a similar, smaller, threshold for it to be satisfied by the pure literal ...