45 search results - page 3 / 9 » A Model-Based Active Testing Approach to Sequential Diagnosi... |
124
click to vote
IFIP12
2004
15 years 1 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
126
click to vote
MICCAI
2006
Springer
16 years 19 days ago
2006
Springer
Cephalometric analysis of lateral radiographs of the head is an important diagnosis tool in orthodontics. Based on manually locating specific landmarks, it is a tedious, time-consu...
JUCS
2007
14 years 11 months ago
2007
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...
NN
2008
Springer
14 years 11 months ago
2008
Springer
Optimally designing the location of training input points (active learning) and choosing the best model (model selection) are two important components of supervised learning and h...
103
click to vote
TAP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...