Sciweavers

63 search results - page 8 / 13
» Markov Models for Automated ECG Interval Analysis
Sort
View
TITB
2010
95views Education» more  TITB 2010»
13 years 1 months ago
Sleep staging based on signals acquired through bed sensor
We describe a system for the evaluation of the sleep macrostructure on the basis of Emfit sensor foils placed into bed mattress and of advanced signal processing. The signals on wh...
Juha M. Kortelainen, Martin O. Mendez, Anna M. Bia...
ECSQARU
2007
Springer
14 years 26 days ago
Forward-Backward-Viterbi Procedures in the Transferable Belief Model for State Sequence Analysis Using Belief Functions
Abstract. The Transferable Belief Model (TBM) relies on belief functions and enables one to represent and combine a variety of knowledge from certain up to ignorance as well as con...
Emmanuel Ramasso, Michèle Rombaut, Denis Pe...
CIVR
2008
Springer
207views Image Analysis» more  CIVR 2008»
13 years 8 months ago
Accumulated motion energy fields estimation and representation for semantic event detection
In this paper, a motion-based approach for detecting highlevel semantic events in video sequences is presented. Its main characteristic is its generic nature, i.e. it can be direc...
Georgios Th. Papadopoulos, Vasileios Mezaris, Ioan...
WSC
1997
13 years 8 months ago
AutoStat: Output Statistical Analysis for AutoMod Users
AutoStat™ is an extension package for AutoMod™ and AutoSched™ models that provides complete support for simulation model experimentation and statistical analysis of outputs....
John S. Carson II
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
14 years 1 days ago
Model Checking Discounted Temporal Properties
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
Luca de Alfaro, Marco Faella, Thomas A. Henzinger,...