63 search results - page 2 / 13 » Markov Models for Automated ECG Interval Analysis |
AI
2008
Springer
13 years 4 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
CVPR
2006
IEEE
14 years 6 months ago
2006
IEEE
We present an automated method for the tracking and dynamics modeling of microtubules -a major component of the cytoskeleton- which provides researchers with a previously unattain...
IJCNN
2006
IEEE
13 years 10 months ago
2006
IEEE
— The present paper is devoted to the exploration of the properties of the simple spiking neuron model and quantification of the information transfer rate, which the separate neu...
SCP
2000
13 years 4 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
ACSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...