Sciweavers

511 search results - page 33 / 103
» Synchronous Structures
Sort
View
125
Voted
DOCENG
2005
ACM
15 years 3 months ago
Integrating translation services within a structured editor
Fully automatic machine translation cannot produce high quality translation; Dialog-Based Machine Translation (DBMT) is the only way to provide authors with a means of translating...
Ali Choumane, Hervé Blanchon, Cécile...
FMICS
2008
Springer
15 years 3 months ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
93
Voted
ATAL
2010
Springer
15 years 3 months ago
Classification and strategical issues of argumentation games on structured argumentation frameworks
This paper aims at giving a classification of argumentation games agents play within a multi-agent setting. We investigate different scenarios of such argumentation games that dif...
Matthias Thimm, Alejandro J. García
ADBIS
2005
Springer
107views Database» more  ADBIS 2005»
15 years 7 months ago
Data Integration Using DataPile Structure
Abstract. One of the areas of data integration covers systems that maintain coherence among a heterogeneous set of databases. Such a system repeatedly collects data from the local ...
David Bednárek, David Obdrzálek, Jak...
102
Voted
INFOCOM
1997
IEEE
15 years 6 months ago
Exploiting the Temporal Structure of MPEG Video for the Reduction of Bandwidth Requirements
We propose a new bandwidth allocation scheme for VBR video tra c in ATM networks. The scheme is tailored to MPEG-coded video sources that require stringent and deterministic quali...
Marwan Krunz, Satish K. Tripathi