4502 search results - page 605 / 901 » Regular Model Checking |
196
Voted
ENTCS
2007
15 years 6 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
230
click to vote
CVPR
2009
IEEE
2009
IEEE
Continuous Ratio Optimization via Convex Relaxation with Applications to Multiview 3D Reconstruction
17 years 1 months ago
We introduce a convex relaxation framework to optimally
minimize continuous surface ratios. The key idea is to minimize
the continuous surface ratio by solving a sequence
of con...
162
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
We propose a novel approach to unsupervised facial image
alignment. Differently from previous approaches, that
are confined to affine transformations on either the entire
face o...
165
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
The main question we address is: what is the minimal information required to generate closed, non-intersecting planar boundaries? For this paper we restrict ‘shape’ to this mea...
208
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper deals with the problem of incorporating natural regularity conditions on the motion in an MAP estimator for structure and motion recovery from uncalibrated image sequen...