2152 search results - page 342 / 431 » A Comparative Study of 2QBF Algorithms |
152
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
Scientific data in the life sciences is distributed over various independent multi-format databases and is constantly expanding. We discuss a scenario where a life science research...
148
click to vote
Publication
In recent years, with camera pixels shrinking in size, images are more likely to include defocused regions. In order to recover scene details from defocused regions, deblurring tec...
140
click to vote
ALT
2001
Springer
16 years 1 months ago
2001
Springer
This paper concerns the design of a Support Vector Machine (SVM) appropriate for the learning of Boolean functions. This is motivated by the need of a more sophisticated algorithm ...
133
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
101
click to vote
ACCV
2009
Springer
15 years 11 months ago
2009
Springer
What are the primitives of visual perception? The early feature-analysis theory insists on it being a local-to-global process which has acted as the foundation of most computer vis...