Sciweavers

222 search results - page 33 / 45
» Gesture Modeling and Recognition Using Finite State Machines
Sort
View
IJCAI
2003
15 years 5 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
158
Voted
KDD
2010
ACM
310views Data Mining» more  KDD 2010»
15 years 7 months ago
An integrated machine learning approach to stroke prediction
Stroke is the third leading cause of death and the principal cause of serious long-term disability in the United States. Accurate prediction of stroke is highly valuable for early...
Aditya Khosla, Yu Cao, Cliff Chiung-Yu Lin, Hsu-Ku...
ICECCS
1998
IEEE
110views Hardware» more  ICECCS 1998»
15 years 8 months ago
Risk Assessment and Integrity in System Design
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...
Raymond Berg, Victor L. Winter
GI
2009
Springer
15 years 1 months ago
Information Fusion for Autonomous Robotic Weeding
: Information fusion has a potential applicability to a multitude of different applications. Still, the JDL model is mostly used to describe defense applications. This paper descri...
Stefan Ericson, Klas Hedenberg, Ronnie Johansson
132
Voted
ICASSP
2008
IEEE
15 years 10 months ago
A multi-class MLLR kernel for SVM speaker recognition
Speaker recognition using support vector machines (SVMs) with features derived from generative models has been shown to perform well. Typically, a universal background model (UBM)...
Zahi N. Karam, William M. Campbell