Sciweavers

4209 search results - page 479 / 842
» Abstract Dialectical Frameworks
Sort
View
HYBRID
2005
Springer
15 years 10 months ago
Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains
Abstract. The problem of synthesizing feedback controllers that perform sensing and actuation actions on non–uniform and uncertain discrete time domains is considered. This class...
Andrea Balluchi, Pierpaolo Murrieri, Alberto L. Sa...
178
Voted
IBPRIA
2005
Springer
15 years 10 months ago
A Real-Time Driver Visual Attention Monitoring System
Abstract. This paper describes a framework for analyzing video sequences of a driver and determining his level of attention. The proposed system deals with the computation of eyeli...
Jorge Batista
IBPRIA
2005
Springer
15 years 10 months ago
A 3D Dynamic Model of Human Actions for Probabilistic Image Tracking
Abstract. In this paper we present a method suitable to be used for human tracking as a temporal prior in a particle filtering framework such as CONDENSATION [5]. This method is f...
Ignasi Rius, Daniel Rowe, Jordi Gonzàlez, F...
148
Voted
ICALP
2005
Springer
15 years 10 months ago
Up-to Techniques for Weak Bisimulation
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
Damien Pous
ICIAR
2005
Springer
15 years 10 months ago
Ultrafast Technique of Impulsive Noise Removal with Application to Microarray Image Denoising
Abstract. In this paper a novel approach to the impulsive noise removal in color images is presented. The proposed technique employs the switching scheme based on the impulse detec...
Bogdan Smolka, Konstantinos N. Plataniotis