11910 search results - page 2009 / 2382 » Online Learning Algorithms |
220
click to vote
LPAR
2004
Springer
16 years 28 days ago
2004
Springer
DPLL and DPLL Modulo Theories Robert Nieuwenhuis , Albert Oliveras , and Cesare Tinelli We introduce Abstract DPLL, a general and simple abstract rule-based formulation of the Davi...
197
click to vote
PERVASIVE
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. Location-awareness is useful for mobile and pervasive computing. We present a novel adaptive framework for recognizing personally important locations in cellular networks...
151
click to vote
SAT
2004
Springer
16 years 28 days ago
2004
Springer
The variable branching heuristics used in the most recent and most effective SAT solvers, including zChaff and BerkMin, can be viewed as consisting of a simple mechanism for rewa...
212
click to vote
HLK
2003
IEEE
16 years 26 days ago
2003
IEEE
Three-dimensional morphable models of object classes are a powerful tool in modeling, animation and recognition. We introduce here the new concept of regularized 3D morphable mode...
189
click to vote
ATAL
2003
Springer
16 years 24 days ago
2003
Springer
As agent relationships become more complex, one challenging relationship that merits study is that of coach or adviser to another agent. Our research on coaching refers to one aut...