Sciweavers

252 search results - page 12 / 51
» A Methodology for Automatic Diagnosability Analysis
Sort
View
SEFM
2006
IEEE
15 years 5 months ago
Automatic Property Checking for Software: Past, Present and Future
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
Sriram K. Rajamani
AIED
2005
Springer
15 years 5 months ago
DIANE, a diagnosis system for arithmetical problem solving
We hereby describe DIANE an environment that aims at performing an automatic diagnosis on arithmetic problems depending on the productions of the learners. This work relies on resu...
Khider Hakem, Emmanuel Sander, Jean-Marc Labat, Je...
IAAI
1993
15 years 1 months ago
Dodger, a Diagnostic Expert System for the Evaluation of Nondestructive Test Data
Identification and characterization of indications in eddy current (ET) signals can be highly subjective in nature, with varying diagnoses made by different analysts or by a singl...
Arthur J. Levy, Jane E. Oppenlander, David M. Brud...
BIBM
2007
IEEE
139views Bioinformatics» more  BIBM 2007»
15 years 3 months ago
Automatic Identification of Temporal Sequences in Chewing Sounds
Chewing is an essential part of food intake. The analysis and detection of food patterns is an important component of an automatic dietary monitoring system. However chewing is a t...
Oliver Amft, Martin Kusserow, Gerhard Tröster
SIGIR
2005
ACM
15 years 5 months ago
A phonotactic-semantic paradigm for automatic spoken document classification
We demonstrate a phonotactic-semantic paradigm for spoken document categorization. In this framework, we define a set of acoustic words instead of lexical words to represent acous...
Bin Ma, Haizhou Li