834 search results - page 42 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
110
click to vote
LOPSTR
1994
Springer
15 years 3 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a new approach to discriminative modeling for classi cation and labeling. Our method, called Boosting on Multilevel Aggregates (BMA), adds a new class of hiera...
106
click to vote
ICCV
2011
IEEE
13 years 11 months ago
2011
IEEE
This paper addresses the problem of tracking objects which undergo rapid and significant appearance changes. We propose a novel coupled-layer visual model that combines the targe...
111
click to vote
ICPR
2006
IEEE
16 years 27 days ago
2006
IEEE
We present a model of a `gas of circles', the ensemble of regions in the image domain consisting of an unknown number of circles with approximately fixed radius and short ran...
102
click to vote
ICCV
1995
IEEE
15 years 3 months ago
1995
IEEE
Abstract. We describe a flexible object recognition and modelling system (FORMS) which represents and recognizes animate objects from their silhouettes. This consists of a model fo...