2586 search results - page 319 / 518 » Automatic Abstraction for Congruences |
323
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
176
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
The observation models in tracking algorithms are critical to both tracking performance and applicable scenarios but are often simplified to focus on fixed level of certain target...
204
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. As part of an architectural modeling project, this paper investigates the problem of understanding and manipulating images of buildings. Our primary motivation is to auto...
158
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. We present a continuous optimization framework for interactive tracking of 2D generic objects in a single video stream. The user begins with specifying the locations of a...
202
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. Recently, impressive results have been reported for the detection of objects in challenging real-world scenes. Interestingly however, the underlying models vary greatly e...