Sciweavers

2374 search results - page 287 / 475
» Automatic Generation of Model Translations
Sort
View
DAGSTUHL
2004
15 years 8 months ago
Testing with Functions as Specifications
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
Pieter W. M. Koopman
LCPC
2005
Springer
16 years 12 hour ago
Analytic Models and Empirical Search: A Hybrid Approach to Code Optimization
Compilers employ system models, sometimes implicitly, to make code optimization decisions. These models are analytic; they reflect their implementor’s understanding and beliefs ...
Arkady Epshteyn, María Jesús Garzar&...
BMVC
2001
15 years 9 months ago
Human Shape Estimation in a Multi-Camera Studio
This paper addresses the problem of estimating the shape of an actor in a multi-camera studio for arbitrarily positioned cameras and arbitrary human pose. We adopt a seamless arti...
Jonathan Starck, Adrian Hilton, John Illingworth
ICSOC
2010
Springer
15 years 5 months ago
Artifact-Centric Choreographies
Classical notations for service collaborations focus either on the control flow of participating services (interacting models) or the order in which messages are exchanged (intera...
Niels Lohmann, Karsten Wolf
GRAPHITE
2003
ACM
15 years 11 months ago
Interactive visual method for motion and model reuse
We consider a repository of animation models and motions that can be reused to generate new animation sequences. For instance, a user can retrieve an animation of a dog kicking it...
Akanksha Huang, Zhiyong Huang, B. Prabhakaran, Con...