2914 search results - page 550 / 583 » Learning and Inference with Constraints |
132
Voted
GLVLSI
2009
IEEE
15 years 10 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
156
Voted
SCIA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Level set methods are a popular way to solve the image segmentation problem in computer image analysis. A contour is implicitly represented by the zero level of a signed ...
135
Voted
CRV
2008
IEEE
15 years 9 months ago
2008
IEEE
We propose a generative statistical approach to human motion modeling and tracking that utilizes probabilistic latent semantic (PLSA) models to describe the mapping of image featu...
123
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
101
Voted
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
The one-class and cost-sensitive support vector machines (SVMs) are state-of-the-art machine learning methods for estimating density level sets and solving weighted classificatio...