573 search results - page 25 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
109
click to vote
SIGMETRICS
2003
ACM
15 years 3 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
GI
2003
Springer
15 years 3 months ago
2003
Springer
Abstract: We report on a visualization system that has been implemented to study cellular events which regulate morphogenesis of large organs or whole embryos. For data acquisition...
INFORMATICALT
2002
14 years 9 months ago
2002
Application of knowledge discovery in databases (data mining) for medical decision support is discussed in this work. The aim of the study was to use decision support algorithm for...
FLAIRS
2006
14 years 11 months ago
2006
Diagnosing multiple faults for a complex system is often very difficult. It requires not only a model which adequately represents the diagnostic aspect of a complex system, but al...
107
click to vote
ATAL
1997
Springer
15 years 2 months ago
1997
Springer
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...