106 search results - page 10 / 22 » Abstraction for Shape Analysis with Fast and Precise Transfo... |
CIVR
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we present a real-time algorithm for 3D object detection in images. Our method relies on the Ullman and Basri [13] theory which claims that the same object under di...
ICDAR
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper presents a language identification technique that detects Latin-based languages of imaged documents without OCR. The proposed technique detects languages through the wo...
ICESS
2004
Springer
14 years 1 months ago
2004
Springer
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...
FIMH
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper we present a novel approach to the problem of spatiotemporal alignment of cardiac MR image sequences. This novel method has the ability to correct spatial m...
SAS
1997
Springer
13 years 11 months ago
1997
Springer
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...