Sciweavers

4498 search results - page 636 / 900
» How to Invent Functions
Sort
View
ICCV
2003
IEEE
15 years 10 months ago
An automatic drowning detection surveillance system for challenging outdoor pool environments
Automatically understanding events happening at a site is the ultimate goal of visual surveillance system. This paper investigates the challenges faced by automated surveillance s...
How-Lung Eng, Kar-Ann Toh, Alvin Harvey Kam, Junxi...
ISIPTA
2003
IEEE
111views Mathematics» more  ISIPTA 2003»
15 years 9 months ago
Convex Imprecise Previsions: Basic Issues and Applications
In this paper we study two classes of imprecise previsions, which we termed convex and centered convex previsions, in the framework of Walley’s theory of imprecise previsions. W...
Renato Pelessoni, Paolo Vicig
LICS
2003
IEEE
15 years 9 months ago
Polynomial-time Algorithms from Ineffective Proofs
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
Paulo Oliva
RSP
2003
IEEE
169views Control Systems» more  RSP 2003»
15 years 9 months ago
Rapid Prototyping and Incremental Evolution Using SLAM
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
Ángel Herranz-Nieva, Juan José Moren...
RTAS
2003
IEEE
15 years 9 months ago
Real-Time Support for Mobile Robotics
Coordinated behavior of mobile robots is an important emerging application area. Different coordinated behaviors can be achieved by assigning sets of control tasks, or strategies,...
Huan Li, John Sweeney, Krithi Ramamritham, Roderic...