Sciweavers

3322 search results - page 158 / 665
» Automatic Human Model Generation
Sort
View
FASE
2008
Springer
15 years 8 days ago
Translating Model Simulators to Analysis Models
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
Juan de Lara, Hans Vangheluwe
DAC
2008
ACM
15 years 11 months ago
SystemCoDesigner: automatic design space exploration and rapid prototyping from behavioral models
SystemCoDesigner is an ESL tool developed at the University of Erlangen-Nuremberg, Germany. SystemCoDesigner offers a fast design space exploration and rapid prototyping of behavi...
Christian Haubelt, Thomas Schlichter, Joachim Kein...
CADE
2006
Springer
15 years 10 months ago
Automatic Construction and Verification of Isotopy Invariants
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
Volker Sorge, Andreas Meier, Roy L. McCasland, Sim...
AVBPA
2003
Springer
160views Biometrics» more  AVBPA 2003»
15 years 3 months ago
Automatic Gait Recognition via Fourier Descriptors of Deformable Objects
We describe a new method for Automatic Gait Recognition based around the use of Fourier descriptors that model the periodic deformation of human gait. Fourier descriptors have been...
Stuart D. Mowbray, Mark S. Nixon
ICS
2009
Tsinghua U.
15 years 5 months ago
Performance modeling and automatic ghost zone optimization for iterative stencil loops on GPUs
Iterative stencil loops (ISLs) are used in many applications and tiling is a well-known technique to localize their computation. When ISLs are tiled across a parallel architecture...
Jiayuan Meng, Kevin Skadron