122 search results - page 16 / 25 » Using Model Counting to Find Optimal Distinguishing Tests |
104
click to vote
ICIP
2005
IEEE
16 years 1 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...
ICSE
2009
IEEE-ACM
16 years 18 days 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
16 years 15 days 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...
ICCV
2001
IEEE
16 years 1 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
15 years 26 days 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...