573 search results - page 18 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
HIS
2008
13 years 8 months ago
2008
Microarray technology allows to measure the expression levels of thousands of genes in an experiment. The use of computational methods is fundamental in cancer research. One of th...
CVIU
2006
13 years 7 months ago
2006
In many multi-camera vision systems the effect of camera locations on the task-specific quality of service is ignored. Researchers in Computational Geometry have proposed elegant ...
JUCS
2010
13 years 5 months ago
2010
: The Gabor filter aided diagnosis system for 3-dimensional ultra-sonography (3DUS) under the WLAN environment is introduced. Due to the important relationship between breast tumou...
DEDS
2007
13 years 7 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
ICDCS
1993
IEEE
13 years 11 months ago
1993
IEEE
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...