2509 search results - page 32 / 502 » Abstract Geometrical Computation and Computable Analysis |
CVPR
2006
IEEE
14 years 11 months ago
2006
IEEE
In this paper we demonstrate how Interval Analysis and Constraint Logic Programming can be used to obtain an accurate geometric model of a scene that rigorously takes into account...
DAC
2004
ACM
14 years 10 months ago
2004
ACM
ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...
ICCV
2007
IEEE
14 years 11 months ago
2007
IEEE
Recent work in object categorization often uses local image descriptors such as SIFT to learn and detect object categories. Such descriptors explicitly code local appearance and h...
CVPR
2009
IEEE
15 years 5 months ago
2009
IEEE
We propose a geometric method for visual tracking, in which the 2-D affine motion of a given object template is estimated in a video sequence by means of coordinateinvariant partic...
WSCG
2004
13 years 11 months ago
2004
This work was based on a previously developed methodology using shape modal description for matching image objects. With this methodology, the objects points were matched using a ...