19130 search results - page 426 / 3826 » Modelling multi-path problems |
144
click to vote
ENTCS
2006
15 years 6 months ago
2006
The standard translation of a Bounded Model Checking (BMC) instance into a satisfiability problem, (a.k.a SAT), might produce misleading results in the case when the model under v...
198
click to vote
IJCV
2000
15 years 6 months ago
2000
This paper introduces a uniform statistical framework for both 3-D and 2-D object recognition using intensity images as input data. The theoretical part provides a mathematical too...
233
click to vote
FGR
2011
IEEE
14 years 10 months ago
2011
IEEE
— Matching images with large geometric and iconic changes (e.g. faces under different poses and facial expressions) is an open research problem in computer vision. There are two ...
169
click to vote
ICCV
2009
IEEE
16 years 12 months ago
2009
IEEE
Supervised learning of a parts-based model can be for-
mulated as an optimization problem with a large (exponen-
tial in the number of parts) set of constraints. We show how
thi...
192
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a convex optimization method for maximum likelihood estimation of autoregressive models, subject to conditional independence constraints. This problem is an extension t...