1228 search results - page 120 / 246 » Continuations, proofs and tests |
CORR
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
Speech recognition is usually based on Hidden Markov Models (HMMs), which represent the temporal dynamics of speech very efficiently, and Gaussian mixture models, which do non-opt...
MICCAI
2003
Springer
14 years 9 months ago
2003
Springer
Transurethral Resection of the Prostate (TUR-P) is the most common surgical procedure for Benign Prostatic Hyperplasia (BPH). However, damage to the mucous membrane of the urethra ...
VLSID
2008
IEEE
14 years 8 months ago
2008
IEEE
Abstract-- With the continuous downscaling of CMOS technologies, the reliability has become a major bottleneck in the evolution of the next generation systems. Technology trends su...
EDBT
2006
ACM
14 years 8 months ago
2006
ACM
Recent advances in hardware technology have resulted in the ability to collect and process large amounts of data. In many cases, the collection of the data is a continuous process ...