Sciweavers

1809 search results - page 47 / 362
» Weakly Computable Real Numbers
Sort
View
ICPR
2006
IEEE
14 years 10 months ago
Real-Time Camera Tracking Using Known 3D Models and a Particle Filter
We present an algorithm which can track the 3D pose of a hand held camera in real-time using predefined models of objects in the scene. The technique utilises and extends recently...
Mark Pupilli, Andrew Calway
ARTS
1999
Springer
14 years 1 months ago
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
Paul Z. Kolano
RT
2000
Springer
14 years 1 months ago
Real-Time Rendering of Densely Populated Urban Environments
Abstract. In this paper we present some preliminary results concerning a realtime visualisation system for densely populated urban environments. In order to be able to render the l...
Franco Tecchia, Yiorgos Chrysanthou
CVPR
2011
IEEE
13 years 5 months ago
Learning and Matching Multiscale Template Descriptors for Real-Time Detection, Localization and Tracking
We describe a system to learn an object template from a video stream, and localize and track the corresponding object in live video. The template is decomposed into a number of lo...
Taehee Lee, Stefano Soatto
ICPR
2004
IEEE
14 years 10 months ago
An Algorithm for Real Time Eye Detection in Face Images
The problem of eye detection in face images is very important for a large number of applications ranging from face recognition to gaze tracking. In this paper we propose a new alg...
Arcangelo Distante, Grazia Cicirelli, Marco Leo, T...