128 search results - page 20 / 26 » Forward Analysis of Depth-Bounded Processes |
ICA
2004
Springer
14 years 2 days ago
2004
Springer
The analysis and characterization of atrial tachyarrhythmias requires the previous estimation of the atrial activity (AA) free from any ventricular activity and other artefacts. Th...
DMDW
2000
13 years 8 months ago
2000
A data warehouse is designed to consolidate and maintain all attributes that are relevant for the analysis processes. Due to the rapid increase in the size of the modern operation...
ADHOC
2008
13 years 6 months ago
2008
In this paper we present a novel probabilistic protocol for path discovery in Mobile Ad Hoc Networks (MANETs). The protocol implements what we call a polarized gossiping algorithm...
ASE
2006
13 years 6 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
CSL
2007
Springer
2007
Springer
Speaker-adaptive learning of resonance targets in a hidden trajectory model of speech coarticulation
13 years 6 months ago
A novel speaker-adaptive learning algorithm is developed and evaluated for a hidden trajectory model of speech coarticulation and reduction. Central to this model is the process o...