2266 search results - page 410 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
120
Voted
ICCAD
2002
IEEE
15 years 10 months ago
2002
IEEE
Application-specific instructions can significantly improve the performance, energy, and code size of configurable processors. A common approach used in the design of such instruc...
WWW
2010
ACM
15 years 8 months ago
2010
ACM
We study how to automatically extract tourist trips from large volumes of geo-tagged photographs. Working with more than 8 million of these photographs that are publicly available...
PAKDD
2009
ACM
15 years 8 months ago
2009
ACM
Atypical behaviours are the basis of a valuable knowledge in domains related to security (e.g. fraud detection for credit card [1], cyber security [4] or safety of critical systems...
114
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Decentralized partially observable Markov decision processes (Dec-POMDPs) constitute a generic and expressive framework for multiagent planning under uncertainty. However, plannin...
100
Voted
LPNMR
2009
Springer
15 years 8 months ago
2009
Springer
Circumscription is one of the most important formalisms for reasoning with incomplete information. It is equivalent to reasoning under the extended closed world assumption, which a...