Sciweavers

819 search results - page 55 / 164
» An Host-Target Environment for Real Time Image Processing
Sort
View
147
Voted
RTCSA
1999
IEEE
15 years 7 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
JMM2
2006
139views more  JMM2 2006»
15 years 3 months ago
Robust Real-time 3D Detection of Obstructed Head and Hands in Indoors Environments
We address the need for robust detection of obstructed human features in complex environments, with a focus on intelligent surgical UIs. In our setup, real-time detection is used t...
Sébastien Grange, Charles Baur
CEC
2008
IEEE
15 years 10 months ago
GPU based extraction of moving objects without shadows under intensity changes
— This paper proposes a GPU based algorithm for extracting moving objects in real time. The whole process of the proposed approach is handled on GPU. GPU is used for acceleration...
Shinji Fukui, Yuji Iwahori, Robert J. Woodham
ICIP
2000
IEEE
16 years 5 months ago
Dynamic Memory Model Based Optimization of Scalar and Vector Quantizer for Fast Image Encoding
The rapid progress of computers and today's heterogeneous computing environment means computation-intensive signal processing algorithms must be optimized for performance in ...
Gene Cheung, Steven McCanne
ICIP
1994
IEEE
16 years 5 months ago
Tracking and Counting Moving People
The development of a system able to detect and track moving people is described. Given a sequence of timevarying images, the goal is to count the number of people crossing a count...
M. Rossi, A. Bozzoli