573 search results - page 33 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
DMIN
2006
14 years 11 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...
102
click to vote
FGCS
2007
14 years 10 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 ...
CDC
2009
IEEE
14 years 11 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)...
WSCG
2003
14 years 11 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...
AAAI
2008
15 years 9 days 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...