Sciweavers

4524 search results - page 579 / 905
» The Complexity of Global Constraints
Sort
View
ICPR
2008
IEEE
16 years 8 months ago
Visual planes-based simultaneous localization and model refinement for augmented reality
This paper presents a method for camera pose tracking that uses a partial knowledge about the scene. The method is based on monocular vision Simultaneous Localization And Mapping ...
Éric Marchand, Fabien Servant, Isabelle Mar...
ICPR
2004
IEEE
16 years 8 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...
MICCAI
2006
Springer
16 years 8 months ago
Anatomical Modelling of the Musculoskeletal System from MRI
Abstract. This paper presents a novel approach for multi-organ (musculoskeletal system) automatic registration and segmentation from clinical MRI datasets, based on discrete deform...
Benjamin Gilles, Laurent Moccozet, Nadia Magnenat-...
MOBIHOC
2009
ACM
16 years 8 months ago
Demonstration of highly programmable downlink OFDMA (WiMax) transceivers for SDR systems
In this paper, we present the architecture of a highly configurable multi-input multi?output (MIMO) orthogonal frequency division multiple access (OFDMA) platform. The platform is...
Hamid Eslami, Gaurav Patel, Chitaranjan P. Sukumar...
POPL
2001
ACM
16 years 7 months ago
Avoiding exponential explosion: generating compact verification conditions
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
Cormac Flanagan, James B. Saxe