Sciweavers

10790 search results - page 25 / 2158
» Using feature models to automate model transformations
Sort
View
ECBS
2006
IEEE
158views Hardware» more  ECBS 2006»
15 years 10 months ago
Automated Translation of C/C++ Models into a Synchronous Formalism
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, L...
129
Voted
DEXAW
2004
IEEE
167views Database» more  DEXAW 2004»
15 years 7 months ago
BioMap: Gene Family based Integration of Heterogeneous Biological Databases Using AutoMed Metadata
This paper presents an extensible architecture that can be used to support the integration of biological data sets. Biological research frequently requires this kind of synthesis....
Michael Maibaum, Galia Rimon, Christine A. Orengo,...
ICIP
1998
IEEE
16 years 5 months ago
Lip Features Automatic Extraction
An algorithm for speaker's lip segmentation and features extraction is presented in this paper. A color video sequence of speaker's face is acquired, under natural light...
Franck Luthon, Marc Liévin
EMSOFT
2008
Springer
15 years 5 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya