1886 search results - page 79 / 378 » Verifying and Validating Simulation Models |
99
Voted
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
In this work we propose a probabilistic model for generic object classification from raw range images. Our approach supports a validation process in which classes are verified usi...
124
click to vote
IAJIT
2008
15 years 2 months ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
124
Voted
PADS
2003
ACM
15 years 7 months ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...
166
Voted
ACHI
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—The development of human-robot interaction scenarios is a strongly situation-dependent as well as an extremely dynamic task. Humans interacting with the robot directly r...
110
Voted
ICFEM
2005
Springer
15 years 8 months ago
2005
Springer
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...