207 search results - page 31 / 42 » Testing and Model-Checking Techniques for Diagnosis |
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
108
Voted
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
IPMI
2005
Springer
15 years 5 months ago
2005
Springer
Consistent efforts are being made to build Computer-Aided Detection and Diagnosis systems for radiological images. Such systems depend on automated detection of various disease pat...
92
Voted
CCIA
2005
Springer
15 years 5 months ago
2005
Springer
IntraVascular UltraSound (IVUS) imaging is a useful tool in diagnosis of cardiac diseases since sequences completely show the morphology of coronary vessels. Vessel borders detecti...
COLING
2008
15 years 1 months ago
2008
This paper presents a real-world application for assisting medical diagnosis and drug prescription, which relies on the exclusive use of machine learning techniques. We have autom...