Sciweavers

4041 search results - page 76 / 809
» time 2009
Sort
View
FOSSACS
2009
Springer
16 years 1 months ago
Interrupt Timed Automata
Abstract. In this work, we introduce the class of Interrupt Timed Automata (ITA), which are well suited to the description of multi-task systems with interruptions in a single proc...
Béatrice Bérard, Serge Haddad
ICCS
2009
Springer
16 years 26 days ago
Time Acceleration Methods for Advection on the Cubed Sphere
Climate simulation will not grow to the ultrascale without new algorithms to overcome the scalability barriers blocking existing implementations. Until recently, climate simulation...
R. K. Archibald, Katherine J. Evans, J. B. Drake, ...
AUTOMOTIVEUI
2009
ACM
16 years 24 days ago
On timing and modality choice with local danger warnings for drivers
We present an experimental study on the effectiveness of five modality variants (speech, text-only, icon-only, two combinations of text and icons) for presenting local danger wa...
Yujia Cao, Sandro Castronovo, Angela Mahr, Christi...
CSE
2009
IEEE
15 years 10 months ago
Real Time Rectification for Stereo Correspondence
Duplicating the full dynamic capabilities of the human eye-brain combination is a difficult task but an important goal because of the wide application that a system which can acqu...
Khurram Jawed, John Morris, Tariq Khan, Georgy L. ...
SDM
2009
SIAM
124views Data Mining» more  SDM 2009»
16 years 3 months ago
Non-parametric Information-Theoretic Measures of One-Dimensional Distribution Functions from Continuous Time Series.
We study non-parametric measures for the problem of comparing distributions, which arise in anomaly detection for continuous time series. Non-parametric measures take two distribu...
Ali Dasdan, Paolo D'Alberto