1585 search results - page 164 / 317 » A framework for computer-aided validation |
117
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
We present an approach for recovery from perceptual failures, or more precisely anchoring failures. Anchoring is the problem of connecting symbols representing objects to sensor da...
130
Voted
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
125
Voted
SAFECOMP
1998
Springer
15 years 7 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
108
Voted
PPSN
2000
Springer
15 years 7 months ago
2000
Springer
Domain knowledge is essential for successful problem solving and optimization. This paper introduces a framework in which a form of automatic domain knowledge extraction can be im...
133
Voted
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
In medical imaging, constructing an atlas and bringing an image set in a single common reference frame may easily lead the analysis to erroneous conclusions, especially when the po...