4127 search results - page 350 / 826 » Evaluation methods for topic models |
215
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
225
click to vote
CVPR
2010
IEEE
16 years 22 days ago
2010
IEEE
We present an approach for online learning of discriminative appearance models for robust multi-target tracking in a crowded scene from a single camera. Although much progress has...
178
click to vote
CEC
2005
IEEE
16 years 21 days ago
2005
IEEE
This paper presents a study on Hierarchical Surrogate-Assisted Evolutionary Algorithm (HSAEA) using different global surrogate models for solving computationally expensive optimiza...
216
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
We propose an unsupervised method for evaluating image segmentation. Common methods are typically based on evaluating smoothness within segments and contrast between them, and the...
235
click to vote
ECCV
2004
Springer
16 years 9 months ago
2004
Springer
A method is proposed to track the full hand motion from 3D points reconstructed using a stereoscopic set of cameras. This approach combines the advantages of methods that use 2D mo...