573 search results - page 48 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
112
click to vote
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
For complex services, logging is an integral part of many middleware aspects, especially, transactions and monitoring. In the event of a failure, the log allows us to deduce the c...
112
click to vote
IJSN
2006
15 years 3 months ago
2006
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...
147
click to vote
IPMI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A computer-aided diagnosis (CAD) system to detect smallsize (from 2 mm to around 10 mm) pulmonary nodules in helical CT scans is developed. This system uses different sc...
141
click to vote
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
This study applies Auto Regressive (AR) and Auto Regressive Moving Average (ARMA) modeling to wavelet decomposed terahertz pulsed signals to assist biomedical diagnosis and mail/p...
136
click to vote
MM
2010
ACM
15 years 4 months ago
2010
ACM
Quality control and resource optimization are challenging problems in peer-assisted video streaming systems, due to their large scales and unreliable peer behavior. Such systems a...