4502 search results - page 372 / 901 » Regular Model Checking |
214
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Deformable surface models are often represented as triangular meshes in image segmentation applications. For a fast and easily regularized deformation onto the target obj...
254
click to vote
CVPR
2011
IEEE
15 years 4 months ago
2011
IEEE
Where does the sparsity in image signals come from? Local and nonlocal image models have supplied complementary views toward the regularity in natural images the former attempts t...
200
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Estimating mode (walking/running/standing) and phases of human locomotion is important for video understanding. We present a new ”tracking as recognition” approach. A hierarch...
199
click to vote
ISAMI
2010
15 years 4 months ago
2010
Probabilistic models of languages are fundamental to understand and learn the profile of the subjacent code in order to estimate its entropy, enabling the verification and predicti...
165
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...