122 search results - page 16 / 25 » Using Model Counting to Find Optimal Distinguishing Tests |
88
Voted
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
Robustly tracking moving objects in video sequences is one of the key problems in computer vision. In this paper we introduce a computationally efficient nonlinear kernel learning...
68
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
Our goal is to optimize regularized image reconstruction methods for emission tomography with respect to the task of detecting small lesions of unknown location in the reconstruct...
85
Voted
ICCV
2001
IEEE
15 years 11 months ago
2001
IEEE
The spatial distribution of gray level intensities in an image can be naturally modeled using Markov Random Field (MRF) models. We develop and investigate the performance of face ...
GECCO
2008
Springer
14 years 10 months ago
2008
Springer
In this paper an island model is described for the unconstrained Binary Quadratic Problem (BQP), which can be used with up to 2500 binary variables. Our island model uses a master...