15 search results - page 2 / 3 » An Empirical Evaluation of Possible Variations of Lazy Propa... |
JAIR
2008
13 years 4 months ago
2008
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that is built on top of MINISAT+. It incorporates the best current SAT and Max-SAT techniques. It can handle hard claus...
NDSS
2006
IEEE
13 years 10 months ago
2006
IEEE
Time zones play an important and unexplored role in malware epidemics. To understand how time and location affect malware spread dynamics, we studied botnets, or large coordinated...
ICDCS
2009
IEEE
14 years 2 months ago
2009
IEEE
Vehicular networks are emerging as a new distributed system environment with myriad possible applications. Most studies on vehicular networks are carried out via simulation, given...
BCSHCI
2009
13 years 6 months ago
2009
Unhealthy eating is an increasingly important problem in the western society. Our approach to this problem is to provide a meal planning system giving recommendations of suitable ...
ECCV
1994
Springer
14 years 6 months ago
1994
Springer
A face recognition system must recognize a face from a novel image despite the variations between images of the same face. A common approach to overcoming image variations because...