Sciweavers

9412 search results - page 1469 / 1883
» An aspect-oriented generative approach
Sort
View
185
Voted
RTCSA
2006
IEEE
16 years 26 days ago
An RTOS API Translator for Model-Driven Embedded Software Development
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
Ji Chan Maeng, Jong-Hyuk Kim, Minsoo Ryu
ACCV
2006
Springer
16 years 26 days ago
Object Detection Using a Cascade of 3D Models
Abstract. We present an alignment framework for object detection using a hierarchy of 3D polygonal models. One difficulty with alignment methods is that the high-dimensional transf...
Hon-Keat Pong, Tat-Jen Cham
217
Voted
APGV
2006
ACM
196views Visualization» more  APGV 2006»
16 years 25 days ago
Semantic 3D motion retargeting for facial animation
We present a system for realistic facial animation that decomposes facial motion capture data into semantically meaningful motion channels based on the Facial Action Coding System...
Cristóbal Curio, Martin Breidt, Mario Klein...
CHINZ
2006
ACM
16 years 25 days ago
Digital backpacking in the museum with a SmartCard
This paper reports on the evaluation of a digitallyaugmented exhibition on the history of modern media and our experiences with the methodic approach employed. As a central elemen...
Eva Hornecker, Matthias Stifter
ISSTA
2006
ACM
16 years 25 days ago
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
Jamieson M. Cobleigh, George S. Avrunin, Lori A. C...
« Prev « First page 1469 / 1883 Last » Next »