CLINICAL use of image-guided therapy (IGT) systems is widespread today and growing rapidly, creating the need for a common and rigorous validation methodology, as reported in recent workshops and conferences [1]–[6]. One key characteristic of IGT systems is that they employ medical image processing methods (e.g., segmentation, registration, visualization, and calibration). As a result of this i...

Why Read This Chapter? To help you decide how to check your simulation – both against its antecedent conceptual models (verification) and external standards such as data (validation) – and in this way help you to establish the credibility of your simulation. In order to do this the chapter will point out the nature of these processes, including the variety of ways in which people seek to achiev...

Model validation is a key activity undertaken during the model development process in simulation. There is a large body of literature on model validation, albeit there exists little convergence in terms of the definitions, types of validity, and tests used. Yet it is not clear what standards should be taken into consideration to avoid developing what could be considered to be invalid or wrong m...

The present paper deals with inductive inference of recur-sive functions, in general, and with the problem of validating inductive learning devices, in particular. Thus, the paper aims at a contribution to the research and development area of intelligent systems validation. As those systems are typically interactive and, therefore, utilized in open loops of human{machine interactions, the probl...

Incremental Validation of Formal Specifications by Paul Corwin This thesis presents a tool for the mechanical validation of formal software specifications. The tool is based on a novel approach to incremental validation. In this approach, small-scale aspects of a specification are validated, as part of the stepwise refinement of a formal model. The incremental validation technique can be consid...

Techniques for authenticating BGP protocol objects entail the inspection of additional information in the form of authentication credentials that can be used to validate the contents of the BGP update message. The additional task of validation of these credentials when processing BGP messages will entail significant additional processing overheads. If the BGP validation process is prepared to a...

The software and systems communities have both advanced the state of their practices by applying models of capabilities to gauge the maturity of their practitioners and their processes [1, 2]. These models build capability maturity in layers that successively lead to greater end product quality. The success of these capability maturity models suggests that such a concept could promote the advan...

Form validation is an integral part of a web application. Web developers must ensure that data input by the user is validated for correctness. Given the importance of form validation it must be considered as part of a model-driven solution to web development. Existing model-driven approaches typically have not addressed form validation as part of the model. In this paper, we present an approach...

We argue that efficient support for schema validation and type annotation in XQuery processors deserves as much attention as efficient evaluation techniques for XPath queries have received in the past. To this end, we describe a validation procedure that operates on an encoding of trees that has already been succesfully used for XPath location step evaluation. The validation algorithm works wit...

In TC-STAR a variety of Language Resources (LR) are being produced. In this contribution we address the validation of resources that were created and used for the second Evaluation Campaign of the project. For the three types of topics covered by the project (ASR, SLT, TTS) the validation of both development and evaluation sets is described. For each type we successively address the description...