65 search results - page 13 / 13 » Generating Counter-Examples Through Randomized Guided Search |
126
Voted
CGO
2008
IEEE
15 years 7 months ago
2008
IEEE
Modern compilers implement a large number of optimizations which all interact in complex ways, and which all have a different impact on code quality, compilation time, code size,...
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
The most popular approaches for reconstructing phylogenetic trees attempt to solve NP-hard optimization criteria such as maximum parsimony (MP). Currently, the bestperforming heur...
105
Voted
PAMI
2007
15 years 1 days ago
2007
This paper presents a robust object tracking method via a spatial bias appearance model learned dynamically in video. Motivated by the attention shifting among local regions of a ...
122
click to vote
TIP
2008
15 years 14 days ago
2008
We consider the problem of recognizing 3-D objects from 2-D images using geometric models and assuming different viewing angles and positions. Our goal is to recognize and localize...
104
click to vote
ICCV
2003
IEEE
16 years 2 months ago
2003
IEEE
We propose a principled account on multiclass spectral clustering. Given a discrete clustering formulation, we first solve a relaxed continuous optimization problem by eigendecomp...