Sciweavers

2596 search results - page 302 / 520
» Gradual Typing for Objects
Sort
View
DAC
2012
ACM
13 years 6 months ago
Chisel: constructing hardware in a Scala embedded language
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...
Jonathan Bachrach, Huy Vo, Brian Richards, Yunsup ...
CVPR
1997
IEEE
16 years 6 months ago
Euclidean Reconstruction from Image Sequences with Varying and Unknown Focal Length and Principal Point
In this paper the special case of reconstruction from image sequences taken by cameras with skew equal to 0 and aspect ratio equal to 1 has been treated. These type of cameras, he...
Anders Heyden, Kalle Åström
ICCV
2005
IEEE
16 years 6 months ago
3D Shape Recognition and Reconstruction Based on Line Element Geometry
This paper presents a new method for the recognition and reconstruction of surfaces from 3D data. Line element geometry, which generalizes both line geometry and the Laguerre geom...
Michael Hofer, Boris Odehnal, Helmut Pottmann, Tib...
ICCV
2001
IEEE
16 years 6 months ago
The Space of All Stereo Images
A theory of stereo image formation is presented that enables a complete classification of all possible stereo views, including non-perspective varieties. Towards this end, the not...
Steven M. Seitz
ICIP
2006
IEEE
16 years 6 months ago
An adaptive mixture color model for robust visual tracking
Global color characterization is a very powerful tool to model in a simple yet discriminant way the visual appearance of complex objects. A fixed reference model of this type can ...
Antoine Lehuger, Patrick Léchat, Patrick P&...