Sciweavers

4245 search results - page 446 / 849
» Input Modeling
Sort
View
ICRA
2008
IEEE
151views Robotics» more  ICRA 2008»
16 years 1 months ago
Landing a UAV on a runway using image registration
— In this paper we present a system that uses only vision to land a UAV on a runway. We describe a method for estimating the relative location of the runway as an image by perfor...
Andrew Miller, Mubarak Shah, Don Harper
ISMAR
2008
IEEE
16 years 1 months ago
Compositing for small cameras
To achieve a realistic integration of virtual and real imagery in video see-through augmented reality, the rendered images should have a similar appearance and quality to those ca...
Georg Klein, David W. Murray
ISMVL
2008
IEEE
111views Hardware» more  ISMVL 2008»
16 years 1 months ago
Multiple Valued Logic Using 3-State Quantum Dot Gate FETs
Abstract—This paper presents fundamental logic structures designed using novel quantum dot gate FETs with three-state characteristics. This three-state FET manifests itself as a ...
John A. Chandy, Faquir C. Jain
LICS
2007
IEEE
16 years 1 months ago
Pi-Calculus in Logical Form
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
Marcello M. Bonsangue, Alexander Kurz
EMMCVPR
2007
Springer
16 years 1 months ago
Continuous Global Optimization in Multiview 3D Reconstruction
Abstract. In this work, we introduce a robust energy model for multiview 3D reconstruction that fuses silhouette- and stereo-based image information. It allows to cope with signiï¬...
Kalin Kolev, Maria Klodt, Thomas Brox, Selim Esedo...