106 search results - page 11 / 22 » Abstraction for Shape Analysis with Fast and Precise Transfo... |
ICIAR
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Shape features applied to object recognition has been actively studied since the beginning of the field in 1950s and remain a viable alternative to appearance based metho...
CAV
2007
Springer
13 years 11 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
AVBPA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper is framed in the field of statistical face analysis. In particular, the problem of accurate segmentation of prominent features of the face in frontal view ima...
SAS
2007
Springer
14 years 1 months ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
AMR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This article explores the feasibility of a market-ready, mobile pattern recognition system based on the latest findings in the field of object recognition and currently a...