4636 search results - page 134 / 928 » Modelling and Validation with VipTool |
JIPS
2010
13 years 2 months ago
2010
Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios whi...
ICCV
2011
IEEE
12 years 8 months ago
2011
IEEE
In this paper we propose a new approach to compute the scale space of any omnidirectional image acquired with a central catadioptric system. When these cameras are central they ar...
WSC
2008
13 years 10 months ago
2008
This paper reports on the development and validation of an agent based simulation model of air traffic control arrival operations. The simulation model includes modeling of both t...
ANSS
2003
IEEE
14 years 1 months ago
2003
IEEE
In this work, we present a computational behavioral model for logic gates called Internode (Internal Node Logic Computational Model) that considers the functionality of the gate a...
AI
2004
Springer
14 years 1 months ago
2004
Springer
Knowledge Provenance (KP) is proposed to address the problem of how to determine the validity and origin of web information by introducing standards and methods for modeling and ma...