Sciweavers

665 search results - page 99 / 133
» Logos Machine Translation System
Sort
View
ACL
2012
11 years 10 months ago
PORT: a Precision-Order-Recall MT Evaluation Metric for Tuning
Many machine translation (MT) evaluation metrics have been shown to correlate better with human judgment than BLEU. In principle, tuning on these metrics should yield better syste...
Boxing Chen, Roland Kuhn, Samuel Larkin
DSRT
2005
IEEE
14 years 1 months ago
Modeling Decentralized Real-Time Control by State Space Partition of Timed Automata
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
Thanikesavan Sivanthi, Srivas Chennu, Lothar Kreft
LREC
2010
174views Education» more  LREC 2010»
13 years 9 months ago
Model Summaries for Location-related Images
At present there is no publicly available data set to evaluate the performance of different summarization systems on the task of generating location-related extended image caption...
Ahmet Aker, Robert J. Gaizauskas
CONCUR
2010
Springer
13 years 9 months ago
Learning I/O Automata
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
Fides Aarts, Frits W. Vaandrager
CL
2008
Springer
13 years 8 months ago
Efficient exception handling in Java bytecode-to-C ahead-of-time compiler for embedded systems
One of the most promising approaches to Java acceleration in embedded systems is a bytecode-to-C ahead-of-time compiler (AOTC). It improves the performance of a Java virtual machi...
Dong-Heon Jung, Jong Kuk Park, Sung-Hwan Bae, Jaem...