Sciweavers

252 search results - page 16 / 51
» A Methodology for Automatic Diagnosability Analysis
Sort
View
KBSE
1999
IEEE
15 years 4 months ago
Modular and Incremental Analysis of Concurrent Software Systems
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
Hassen Saïdi
BSN
2009
IEEE
136views Sensor Networks» more  BSN 2009»
15 years 6 months ago
Wavelet-Based ECG Delineation on a Wearable Embedded Sensor Platform
—The analysis of the electrocardiogram (ECG) is widely used for diagnosing many cardiac diseases. Since most of the clinically useful information in the ECG is found in character...
Nicolas Boichat, Nadia Khaled, Francisco J. Rinc&o...
ICIP
2010
IEEE
14 years 9 months ago
3D vertebrae segmentation using graph cuts with shape prior constraints
Osteoporosis is a bone disease characterized by a reduction in bone mass, resulting in an increased risk of fractures. To diagnose the osteoporosis accurately, bone mineral densit...
Melih S. Aslan, Asem M. Ali, Dongqing Chen, Ben Ar...
ICASSP
2011
IEEE
14 years 3 months ago
An adaptive approach to abnormal heart sound segmentation
Heart sound is one of the significant bio-signals to diagnose certain cardiac anomalies. Aiming to provide an automatic heart sounds analysis to medical professionals, we present...
Dinesh Kumar, Paulo Carvalho, Manuel Antunes, Rui ...
KI
2009
Springer
15 years 6 months ago
SceneMaker: Automatic Visualisation of Screenplays
Abstract. Our proposed software system, SceneMaker, aims to facilitate the production of plays, films or animations by automatically interpreting natural language film scripts an...
Eva Hanser, Paul McKevitt, Tom Lunney, Joan Condel...