1314 search results - page 123 / 263 » Validation of Object Oriented Models using Animation |
STTT
2008
15 years 10 days 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...
93
Voted
TOG
2008
15 years 10 days 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...
111
click to vote
JUCS
2008
15 years 12 days 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...
WSC
2007
15 years 2 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...
100
click to vote
ICRA
2009
IEEE
14 years 10 months 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...