44651 search results - page 113 / 8931 » A Generalization of the Least General Generalization |
160
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Recent work has shown the value of using unsatisfiable cores to guide maximum satisfiability algorithms (Max-SAT) running on industrial instances [5,9,10,11]. We take this concep...
157
click to vote
CEC
2008
IEEE
16 years 28 days ago
2008
IEEE
—We present an approach for automated evolutionary design of the functionary of driving agent, able to operate a software model of fast running car. The objective of our work is ...
172
click to vote
CISS
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract—To achieve higher reliability, safety, and faulttolerance, many mission-critical detection and decision systems implement consensus algorithms that force the systems’ ...
165
click to vote
CVPR
2008
IEEE
16 years 28 days ago
2008
IEEE
Recently, 2DPCA and its variants have attracted much attention in face recognition area. In this paper, some efforts are made to discover the underlying fundaments of these method...
181
click to vote
INFOCOM
2008
IEEE
16 years 26 days ago
2008
IEEE
—A unique challenge in P2P network is that the peer dynamics (departure or failure) cause unavoidable disruption to the downstream peers. While many works have been dedicated to ...