Results 221 to 230 of about 1,458,255 (265)

A Blocking-Based Approach to Protocol Validation

29th Annual International Computer Software and Applications Conference (COMPSAC'05), 2006
One common approach to protocol validation is reachability analysis, which involves systematically exploring the state space of a protocol. The main challenge of reachability analysis is dealing with the state explosion problem. In this paper, we present a new reachability analysis approach, called blocking-based simultaneous reachability analysis, for
Yu Lei 0001, David Chenho Kung, Qizhi Ye
openaire   +1 more source

Evaluation of Validity and Validation by Means of the Argument-based Approach

CADMO, 2010
Validity is the most important quality aspect of tests and assessments, but it is not clear how validity can be evaluated. This article presents a procedure for the evaluation of validity and validation which is an extension of the argument-based approach to validation.
Wools, Saskia, Eggen, Theo, Sanders, Piet   +2 more
openaire   +2 more sources

A Resampling Approach to Cluster Validation

2002
The concept of cluster stability is introduced as a means for assessing the validity of data partitionings found by clustering algorithms. It allows us to explicitly quantify the quality of a clustering solution, without being dependent on external information.
Volker Roth 0001, Tilman Lange, Mikio L. Braun, Joachim M. Buhmann   +3 more
openaire   +1 more source

Formal and informal approaches for validation

[1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference, 2002
The author considers applying conventional approaches to validate OOS (object-oriented systems) and then investigates new aspects caused by the properties of OOS. He also focuses on two issues, each representing a typical property of the static aspect and the dynamic aspect.
openaire   +1 more source

A Time-Domain Approach to Model Validation

1992 American Control Conference, 1992
Summary: We offer a novel approach to control-oriented model validation problems. The problem is to decide whether a postulated nominal model with bounded uncertainty is consistent with measured input-output data. Our approach directly uses time-domain input-output data to validate uncertainty models.
Kameshwar Poolla, Pramod P. Khargonekar, Ashok Tikku, James M. Krause, Krishan Nagpal   +4 more
openaire   +1 more source

A Compositional Approach to Service Validation

2005
This paper presents a validation approach that exploits the compositional properties of a system. Our results can be applied on systems modelled by state machines and asynchronous communication by message passing. We consider two axes of composition: horizontal composition across system components, and vertical composition within components.
Jacqueline Floch, Rolv Bræk
openaire   +1 more source

The validity of stability measures: A modelling approach

Journal of Biomechanics, 2011
Measures calculated from unperturbed walking patterns, such as variability measures and maximum Floquet multipliers, are often used to study the stability of walking. However, it is unknown if, and to what extent, these measures correlate to the probability of falling.
Bruijn, S.M., Bregman, D.J., Meijer, O.G., Beek, P.J., van Dieen, J.H.   +4 more
openaire   +2 more sources

A model (in)validation approach to gait classification

IEEE Transactions on Pattern Analysis and Machine Intelligence, 2005
This paper addresses the problem of human gait classification from a robust model (in)validation perspective. The main idea is to associate to each class of gaits a nominal model, subject to bounded uncertainty and measurement noise. In this context, the problem of recognizing an activity from a sequence of frames can be formulated as the problem of ...
Maria Cecilia Mazzaro, Mario Sznaier, Octavia I. Camps   +2 more
openaire   +2 more sources

A new approach to the validation of tissue microarrays

The Journal of Pathology, 2006
AbstractAlthough tissue microarrays (TMA) have been widely used for a number of years, it is still not clear how many core biopsies should be taken to determine a reliable value for percentage positivity or how much heterogeneity in marker expression influences this number.
L, Goethals, C, Perneel, A, Debucquoy, H, De Schutter, D, Borghys, N, Ectors, K, Geboes, W H, McBride, K M, Haustermans   +8 more
openaire   +2 more sources

A model (In)validation approach to gait recognition

Proceedings. First International Symposium on 3D Data Processing Visualization and Transmission, 2005
This paper addresses the problem of human gait recognition by applying model (in)validation techniques. The main idea is to associate to each class of gaits a nominal model and a class of bounded energy inputs. In this context, the problem of recognizing a sequence can be formulated as the problem of determining whether or not it could have been ...
Cecilia Mazzaro, Mario Sznaier, Octavia I. Camps, Stefano Soatto, Alessandro Bissacco   +4 more
openaire   +1 more source