Sciweavers

8398 search results - page 1417 / 1680
» Optimal Software Testing
Sort
View
FORMATS
2008
Springer
15 years 8 months ago
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski...
FPL
2008
Springer
143views Hardware» more  FPL 2008»
15 years 8 months ago
Fast toggle rate computation for FPGA circuits
This paper presents a fast and scalable method of computing signal toggle rate in FPGA-based circuits. Our technique is a vectorless estimation technique, which can be used in a C...
Tomasz S. Czajkowski, Stephen Dean Brown
BIOSTEC
2008
114views Healthcare» more  BIOSTEC 2008»
15 years 8 months ago
A Supervised Wavelet Transform Algorithm for R Spike Detection in Noisy ECGs
Abstract. The wavelet transform is a widely used pre-filtering step for subsequent R spike detection by thresholding of the coefficients. The time-frequency decomposition is indeed...
Gael de Lannoy, Arnaud de Decker, Michel Verleysen
SDM
2010
SIAM
153views Data Mining» more  SDM 2010»
15 years 8 months ago
The Generalized Dimensionality Reduction Problem
The dimensionality reduction problem has been widely studied in the database literature because of its application for concise data representation in a variety of database applica...
Charu C. Aggarwal
HCI
2007
15 years 8 months ago
Human Communication Based on Icons in Crisis Environments
In recent years, we have developed an icon-based communication interface to represent concepts and ideas. Users can create messages to communicate with others using a spatial arran...
Siska Fitrianie, Dragos Datcu, Léon J. M. R...
« Prev « First page 1417 / 1680 Last » Next »