Sciweavers

2374 search results - page 144 / 475
» Automatic Generation of Model Translations
Sort
View
AMOST
2007
ACM
15 years 10 months ago
Combining test case generation for component and integration testing
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
Sebastian Benz
MM
2004
ACM
229views Multimedia» more  MM 2004»
15 years 12 months ago
Generating 3D views of facial expressions from frontal face video based on topographic analysis
In this paper, we report our newly developed 3D face modeling system with arbitrary expressions in a high level of detail using the topographic analysis and mesh instantiation pro...
Lijun Yin, Kenny Weiss
ICFEM
2010
Springer
15 years 5 months ago
A Methodology for Automatic Diagnosability Analysis
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
Jonathan Ezekiel, Alessio Lomuscio
DBPL
1997
Springer
133views Database» more  DBPL 1997»
15 years 10 months ago
Automatic Verification of Transactions on an Object-Oriented Database
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
David Spelt, Herman Balsters
AMDO
2006
Springer
15 years 10 months ago
Automatic Pose Correction for Local Feature-Based Face Authentication
In this paper, we present an automatic face authentication system. Accurate segmentation of prominent facial features is accomplished by means of an extension of the Active Shape M...
Daniel González-Jiménez, Federico Su...