Sciweavers

440 search results - page 15 / 88
» An Abstract Data Type for Real Numbers
Sort
View
158
Voted
SACI
2009
IEEE
15 years 10 months ago
Experiments on a grid layer prototype for shared data programming model
—In the grid context, there is little support for programming paradigms such as shared data or associative programming. We have previously proposed an original idea to attack sha...
Dacian Tudor, Georgiana Macariu, Wolfgang Schreine...
128
Voted
TWC
2008
100views more  TWC 2008»
15 years 3 months ago
An Empirical Study on Time-Correlation of GSM Telephone Traffic
Abstract--In this paper, we investigate possible timecorrelation of answered call arrivals in sets of real GSM telephone traffic data. Instead of attempting to model the empirical ...
Stefano Bregni, Roberto Cioffi, Maurizio Decina
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
147
Voted
ECCV
2004
Springer
16 years 5 months ago
Real-Time Tracking of Multiple Skin-Colored Objects with a Possibly Moving Camera
Abstract. This paper presents a method for tracking multiple skincolored objects in images acquired by a possibly moving camera. The proposed method encompasses a collection of tec...
Antonis A. Argyros, Manolis I. A. Lourakis
154
Voted
CAIP
2009
Springer
200views Image Analysis» more  CAIP 2009»
15 years 10 months ago
Real-Time Stereo Vision: Making More Out of Dynamic Programming
Abstract. Dynamic Programming (DP) is a popular and efficient method for calculating disparity maps from stereo images. It allows for meeting real-time constraints even on low-cos...
Jan Salmen, Marc Schlipsing, Johann Edelbrunner, S...