4270 search results - page 28 / 854 » A Permutation Approach to Validation |
CC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...
VR
2010
IEEE
14 years 10 months ago
2010
IEEE
It is extremely challenging to run controlled studies comparing multiple Augmented Reality (AR) systems. We use an AR simulation approach, in which a Virtual Reality (VR) system i...
ISMAR
2009
IEEE
15 years 6 months ago
2009
IEEE
It is extremely challenging to run controlled studies comparing multiple Augmented Reality (AR) systems. We use an “AR simulation” approach, in which a Virtual Reality (VR) sy...
DEXAW
2008
IEEE
15 years 1 months ago
2008
IEEE
Validation is an essential part of software development, and testing is a practical and widely used approach. The emerging methodology is model-based testing, in which test cases ...
ASWC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper, we elaborate on an approach to construction of semantic-linguistic feature vectors (FV) that are used in search. These FVs are built based on domain semant...