738 search results - page 124 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
94
Voted
AAAI
2006
14 years 11 months ago
2006
Random problem distributions have played a key role in the study and design of algorithms for constraint satisfaction and Boolean satisfiability, as well as in our understanding o...
69
Voted
IS
2008
14 years 9 months ago
2008
In recent years, while search engines have become more and more powerful, several specialized search engines have been developed for different domains (e.g. library services, serv...
PRL
2006
14 years 9 months ago
2006
Approaches analyzing local characteristics of an image prevail in image restoration. However, they are less effective in cases of restoring images degraded by large size point spr...
SIGIR
2008
ACM
14 years 9 months ago
2008
ACM
The primary business model behind Web search is based on textual advertising, where contextually relevant ads are displayed alongside search results. We address the problem of sel...
88
Voted
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...