816 search results - page 28 / 164 » SAT-Based Image Computation with Application in Reachability... |
451
click to vote
PRL
2010
15 years 4 months ago
2010
We consider the problem of fitting linearly parameterized models, that arises in many computer vision problems such as road scene analysis. Data extracted from images usually cont...
154
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
—In this paper, we propose a method to model the material constants (Young’s modulus) of the skin in subregions of the face from the motion observed in multiple facial expressi...
178
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
145
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
Edge detection is the basic operation in the image processing and analysis. Multiresolution Sequential Edge Linking (MSEL), which is proposed by Edward J.Delp of Purdue University...
204
click to vote
JMIV
2011
15 years 28 days ago
2011
When the Discrete Fourier Transform of an image is computed, the image is implicitly assumed to be periodic. Since there is no reason for opposite borders to be alike, the “peri...