4636 search results - page 257 / 928 » Modelling and Validation with VipTool |
EDOC
2007
IEEE
14 years 2 months ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
ICIP
2007
IEEE
14 years 2 months ago
2007
IEEE
Motion is one of the most important types of information contained in natural video, but direct use of motion information in the design of video quality assessment algorithms has ...
AIIA
2007
Springer
14 years 2 months ago
2007
Springer
A 3D virtual model of the human lower extremity has been developed for the purpose of examining how the neuromuscular system controls the muscles and generates the desired movement...
DSRT
2005
IEEE
14 years 1 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
ETFA
2005
IEEE
14 years 1 months ago
2005
IEEE
In many digital control applications, data acquisition and process control are time-critical actions, assumed to be instantaneous and strictly periodic. However, aspects related t...