1314 search results - page 141 / 263 » Validation of Object Oriented Models using Animation |
94
Voted
WSC
2008
15 years 2 months ago
2008
This paper proposes an analytical model useful in the design of conveyor-based Automated Material Handling Systems (AMHS) to support semiconductor manufacturing. The objective is ...
127
Voted
JUCS
2002
15 years 4 days ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
121
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...
MICCAI
2007
Springer
16 years 1 months ago
2007
Springer
In Diffusion Tensor Imaging (DTI), differently oriented fiber bundles inside one voxel are incorrectly modeled by a single tensor. High Angular Resolution Diffusion Imaging (HARDI)...
93
Voted
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
— Human interaction with a service robot requires a shared representation of the environment for spoken dialogue and task specification where names used for particular locations...