Sciweavers

529 search results - page 72 / 106
» Admissible Linear Map Models of Linear Cameras
Sort
View
CVPR
2000
IEEE
14 years 10 months ago
3-D Model Construction Using Range and Image Data
This paper deals with the automated creation of geometric and photometric correct 3-D models of the world. Those models can be used for virtual reality, tele? presence, digital ci...
Ioannis Stamos, Peter K. Allen
ERSHOV
2009
Springer
14 years 2 months ago
Symbolic Bounded Conformance Checking of Model Programs
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
Margus Veanes, Nikolaj Bjørner
CVPR
2005
IEEE
14 years 10 months ago
On Modelling Nonlinear Shape-and-Texture Appearance Manifolds
Statistical shape-and-texture appearance models employ image metamorphosis to form a rich, compact representation of object appearance. They achieve their efficiency by decomposin...
Chris Mario Christoudias, Trevor Darrell
CODES
2006
IEEE
14 years 2 months ago
A run-time, feedback-based energy estimation model For embedded devices
We present an adaptive, feedback-based, energy estimation model for battery-powered embedded devices such as sensor network gateways and hand-held computers. Our technique maps ha...
Selim Gurun, Chandra Krintz
AAAI
1998
13 years 9 months ago
Multimodal Reasoning for Automatic Model Construction
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
Reinhard Stolle, Elizabeth Bradley