573 search results - page 33 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
129
Voted
DMIN
2006
15 years 5 months ago
2006
: For the characteristics of malfunction diagnose system a model to classify fault printing based on support vector machines is discussed. The printing malfunctions have many class...
152
Voted
FGCS
2007
15 years 3 months ago
2007
In this paper medical applications on a Grid infrastructure, the MAGIC-5 Project, are presented and discussed. MAGIC-5 aims at developing Computer Aided Detection (CADe) software ...
119
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly)...
151
Voted
WSCG
2003
15 years 5 months ago
2003
Computer-aided analysis of four-dimensional tomography data has become an important tool in modern cardiology. In order to examine the capability and health of a patient’s cardi...
121
Voted
AAAI
2008
15 years 6 months ago
2008
Automated generators for synthetic models and data can play a crucial role in designing new algorithms/modelframeworks, given the sparsity of benchmark models for empirical analys...