5754 search results - page 149 / 1151 » Multi-class Model M |
122
click to vote
ITC
1998
IEEE
15 years 9 months ago
1998
IEEE
Automated fault diagnosis based on the stuckat fault model is not always effective. This paper presents practical experiences in applying a bridging fault based diagnosis techniqu...
170
click to vote
COMPOS
1997
Springer
15 years 8 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
131
click to vote
ATC
2006
Springer
15 years 8 months ago
2006
Springer
Self-healing relies on correct diagnosis of system malfunctioning. This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-s...
147
click to vote
CGI
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper presents the design and implementation of artistic effects in modelling and rendering of volume datasets. Following different stages of a volume-based graphics pipeline...
129
click to vote
EVOW
2008
Springer
15 years 6 months ago
2008
Springer
In many cases what matters is not whether a false discovery is made or not but the expected proportion of false discoveries among all the discoveries made, i.e. the so-called false...