Sciweavers

6775 search results - page 127 / 1355
» Diagnosis of Active Systems
Sort
View
ECAI
2010
Springer
15 years 7 months ago
Human Activity Recognition in Intelligent Home Environments: An Evolving Approach
In this paper, we propose an automated approach to track and recognize daily activities. Any activity is represented in this research as a sequence of raw sensors data. These seque...
José Antonio Iglesias, Plamen P. Angelov, A...
ISBI
2009
IEEE
16 years 1 months ago
Mitral Annulus Segmentation from Three-Dimensional Ultrasound
An accurate and reproducible segmentation of the mitral valve annulus from 3D ultrasound is useful to clinicians and researchers in applications such as pathology diagnosis and mi...
Robert Schneider, Douglas Perrin, Nikolay V. Vasil...
AB
2007
Springer
16 years 19 days ago
Manifestation and Exploitation of Invariants in Bioinformatics
Whenever a programmer writes a loop, or a mathematician does a proof by induction, an invariant is involved. The discovery and understanding of invariants often underlies problem s...
Limsoon Wong
HICSS
2002
IEEE
92views Biometrics» more  HICSS 2002»
15 years 11 months ago
Student Model of Historical Text Comprehension
: In this contribution we present a Learner Model (LM) of Historical Text Comprehension (HTC), which infers the cognitive profile of learner’s global comprehension concerning the...
Grammatiki Tsaganou, Maria Grigoriadou, Theodora C...
AAAI
2008
15 years 8 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu