Sciweavers

1866 search results - page 81 / 374
» Robust Algorithms and Price of Robustness in Shunting Proble...
Sort
View
NFM
2011
306views Formal Methods» more  NFM 2011»
15 years 26 days ago
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
Rüdiger Ehlers
CVPR
2003
IEEE
16 years 8 months ago
Learning Object Intrinsic Structure for Robust Visual Tracking
In this paper, a novel method to learn the intrinsic object structure for robust visual tracking is proposed. The basic assumption is that the parameterized object state lies on a...
Qiang Wang, Guangyou Xu, Haizhou Ai
CVPR
2005
IEEE
16 years 8 months ago
Robust and Efficient Foreground Analysis for Real-Time Video Surveillance
We present a new method to robustly and efficiently analyze foreground when we detect background for a fixed camera view by using mixture of Gaussians models and multiple cues. Th...
Ying-li Tian, Max Lu, Arun Hampapur
ICIP
2005
IEEE
16 years 7 months ago
Fusion of multiple viewpoint information towards 3D face robust orientation detection
This paper presents a novel approach to the problem of determining head pose estimation and face 3D orientation of several people in low resolution sequences from multiple calibra...
Cristian Canton-Ferrer, Josep R. Casas, Montse Par...
ICIP
2001
IEEE
16 years 7 months ago
A robust motion detection and estimation filter for video signals
The problem of detecting areas of motion in video sequences and estimating parameters such as speed, direction and dynamics is addressed in many applications of image processing s...
Markus Latzel, John K. Tsotsos