Sciweavers

23 search results - page 2 / 5
» An Internet-based Melanoma Diagnostic System - Toward the Pr...
Sort
View
AIME
1997
Springer
14 years 2 days ago
A Causal-Functional Model Applied to EMG Diagnosis
This paper presents an EMG diagnostic Knowledge Based System, that is the first application of our methodology for reasoning with causal-functional (meta-)models. Despite past diff...
Jorge Cruz, Pedro Barahona
FORMATS
2006
Springer
13 years 11 months ago
Extended Directed Search for Probabilistic Timed Reachability
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
Husain Aljazzar, Stefan Leue
ET
2002
108views more  ET 2002»
13 years 7 months ago
Diagnosis Strategies for Hardware or Software Systems
In this paper we explore two alternative approaches to system diagnosis. The first strategy is based on testability analysis performed by SATAN tool. The second approach performed ...
Maisaa Khalil, Chantal Robach, Franc Novak
CAISE
2006
Springer
13 years 11 months ago
A Pattern for Designing Distributed Heterogeneous Ontologies for Facilitating Application Interoperability
The role of ontologies in knowledge base systems is gradually increasing. Along with the growth of Internet based applications and ecommerce, the need for easy interoperability bet...
M. Chenine, Vandana Kabilan, M. Garcia Lozano
ASPLOS
2011
ACM
12 years 11 months ago
Improving software diagnosability via log enhancement
Diagnosing software failures in the field is notoriously difficult, in part due to the fundamental complexity of trouble-shooting any complex software system, but further exacer...
Ding Yuan, Jing Zheng, Soyeon Park, Yuanyuan Zhou,...