Sciweavers

686 search results - page 106 / 138
» Automatic Model Generation Strategies for Model Transformati...
Sort
View
DAC
2007
ACM
15 years 3 months ago
A Framework for the Validation of Processor Architecture Compliance
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jae...
ASE
2006
161views more  ASE 2006»
14 years 11 months ago
Automated Prototyping of User Interfaces Based on UML Scenarios
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
Mohammed Elkoutbi, Ismaïl Khriss, Rudolf K. K...
SIP
2003
15 years 1 months ago
Object Structure from Noisy Images
We describe the establishment of a compound object model for object recognition purposes which provides the frame for the extraction of object structure from images degraded by no...
Gabriele Peters
NAACL
1994
15 years 1 months ago
The Candide System for Machine Translation
We present an overview of Candide, a system for automatic translation of French text to English text. Candide uses methods of information theory and statistics to develop a probab...
Adam L. Berger, Peter F. Brown, Stephen Della Piet...
PERCOM
2010
ACM
14 years 10 months ago
DogSim: A state chart simulator for Domotic Environments
—Smart Homes and Domotic Environments are promising to revolutionize the daily human life providing users with increased care, adaptability and safety. However, to fully exploit ...
Dario Bonino, Fulvio Corno