573 search results - page 24 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
ESANN
2000
14 years 11 months ago
2000
In this paper we investigate the performance of a Computer Aided Diagnosis (CAD) system for the detection of clustered microcalcifications in mammograms. Our detection algorithm co...
ATAL
2003
Springer
15 years 1 months ago
2003
Springer
One of the factors holding back the application of multiagent, distributed approaches to large-scale sensor interpretation and diagnosis problems is the lack of good techniques fo...
HYBRID
2001
Springer
15 years 2 months ago
2001
Springer
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...
EUROSYS
2006
ACM
15 years 7 months ago
2006
ACM
Computer problem diagnosis remains a serious challenge to users and support professionals. Traditional troubleshooting methods relying heavily on human intervention make the proce...
ITC
2002
IEEE
15 years 2 months ago
2002
IEEE
—Logic optimization is the step of the very large scale integration (VLSI) design cycle where the designer performs modifications on a design to satisfy different constraints suc...