4636 search results - page 520 / 928 » Modelling and Validation with VipTool |
209
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
211
click to vote
ICCS
2005
Springer
16 years 21 days ago
2005
Springer
Active structures capable of responding to external stimulii represent the emerging frontier in structural design. Robust and real-time sensing, control, and actuation pose fundame...
210
click to vote
CVPR
2008
IEEE
2008
IEEE
Quasi-perspective projection with applications to 3D factorization from uncalibrated image sequences
16 years 9 months ago
The paper addresses the problem of factorization-based 3D reconstruction from uncalibrated image sequences. We propose a quasi-perspective projection model and apply the model to ...
190
click to vote
ICIP
2007
IEEE
16 years 9 months ago
2007
IEEE
Temporal or dynamic textures (DT's) are video sequences that are spatially repetitive and temporally stationary. DT's are temporal analogs of the well known spatial stil...
198
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...