1314 search results - page 123 / 263 » Validation of Object Oriented Models using Animation |
104
Voted
STTT
2008
15 years 3 months ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
115
Voted
TOG
2008
15 years 3 months ago
2008
Skinning of skeletally deformable models is extensively used for real-time animation of characters, creatures and similar objects. The standard solution, linear blend skinning, ha...
140
click to vote
JUCS
2008
15 years 3 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
118
click to vote
WSC
2007
15 years 5 months ago
2007
The focus of this paper is a manufacturing system placed in Calabria (Italy) which produces high pressure hydraulic hoses. The objective is to implement a simulator to be used bot...
126
click to vote
ICRA
2009
IEEE
15 years 29 days ago
2009
IEEE
Abstract-- We present in this paper a way to achieve positioning tasks by visual servoing under complex luminance variations. To do that, we use as visual features the luminance of...