Sciweavers

320 search results - page 25 / 64
» On reducing a system of equations to a single equation
Sort
View
ICCV
2011
IEEE
14 years 6 months ago
Scale Space for Central Catadioptric Systems. Towards a generic camera feature extractor.
In this paper we propose a new approach to compute the scale space of any omnidirectional image acquired with a central catadioptric system. When these cameras are central they ar...
Luis Puig, Jose Guerrero
CAV
1997
Springer
202views Hardware» more  CAV 1997»
15 years 10 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
PE
2010
Springer
119views Optimization» more  PE 2010»
15 years 4 months ago
A discrete-time Markov-modulated queuing system with batched arrivals
This paper examines a discrete-time queuing system with applications to telecommunications traffic. The arrival process is a particular Markov modulated process which belongs to t...
Richard G. Clegg
SMA
2006
ACM
101views Solid Modeling» more  SMA 2006»
16 years 2 days ago
A higher dimensional formulation for robust and interactive distance queries
We present an efficient and robust algorithm for computing the minimum distance between a point and freeform curve or surface by lifting the problem into a higher dimension. This...
Joon-Kyung Seong, David E. Johnson, Elaine Cohen
ICCV
1999
IEEE
15 years 10 months ago
3D Pose Tracking with Linear Depth and Brightness Constraints
This paper explores the direct motion estimation problem assuming that video-rate depth information is available, from either stereo cameras or other sensors. We use these depth m...
Michael Harville, Ali Rahimi, Trevor Darrell, Gail...