3946 search results - page 141 / 790 » The computational complexity of choice sets |
145
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
CardioWave is a modular system for simulating wavefront conduction in the heart. These simulations may be used to investigate the factors that generate and sustain life-threatenin...
183
click to vote
IJBC
2008
15 years 6 months ago
2008
The localization of critical parameter sets called bifurcations is often a central task of the analysis of a nonlinear dynamical system. Bifurcations of codimension 1 that can be ...
186
click to vote
TSE
1998
15 years 6 months ago
1998
An important step in the development of dependable systems is the validation of their fault tolerance properties. Fault injection has been widely used for this purpose, however wi...
167
click to vote
VMCAI
2005
Springer
16 years 10 hour ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
200
click to vote
TMI
2010
15 years 4 months ago
2010
—We present a computer-aided detection (CAD) system for computed tomography colonography that orders the polyps according to clinical relevance. The CAD system consists of two st...