Sciweavers

1054 search results - page 12 / 211
» Translation Validation of System Abstractions
Sort
View
GPCE
2007
Springer
15 years 6 months ago
42: programmable models of computation for a component-based approach to heterogeneous embedded systems
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
Florence Maraninchi, Tayeb Bouhadiba
VLSISP
2008
134views more  VLSISP 2008»
14 years 11 months ago
Calibration of Abstract Performance Models for System-Level Design Space Exploration
ion of Abstract Performance Models for System-Level Design Space Exploration ANDY D. PIMENTEL, MARK THOMPSON, SIMON POLSTRA AND CAGKAN ERBAS Computer Systems Architecture Group, In...
Andy D. Pimentel, Mark Thompson, Simon Polstra, Ca...
GW
2007
Springer
135views Biometrics» more  GW 2007»
15 years 6 months ago
Enhancing a Sign Language Translation System with Vision-Based Features
Abstract. In automatic sign language translation, one of the main problems is the usage of spatial information in sign language and its proper representation and translation, e.g. ...
Philippe Dreuw, Daniel Stein, Hermann Ney
TAL
2010
Springer
14 years 10 months ago
OpenMaTrEx: A Free/Open-Source Marker-Driven Example-Based Machine Translation System
Abstract. We describe OpenMaTrEx, a free/open-source examplebased machine translation (EBMT) system based on the marker hypothesis, comprising a marker-driven chunker, a collection...
Sandipan Dandapat, Mikel L. Forcada, Declan Groves...
ICDCIT
2005
Springer
15 years 5 months ago
Validation of Policy Integration Using Alloy
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
Manachai Toahchoodee, Indrakshi Ray