Sciweavers

3156 search results - page 32 / 632
» An address translation simulator
Sort
View
80
Voted
IEAAIE
1994
Springer
15 years 1 months ago
Large-Scale Machine Translation: An Interlingua Approach
In this paper we discuss the design and development of an interlingua for a large-scale MT project. We also discuss how the resulting KANT interlingua constrains complexity, suppo...
Deryle W. Lonsdale, Alexander Franz, John R. R. Le...
66
Voted
COLING
1996
14 years 11 months ago
Automatic Detection of Omissions in Translations
ADOMIT is an algorithln for Automatic Detection of OMissions in Translations. The algorithm relies solely on geometric analysis of bitext maps and uses no linguistic information. ...
I. Dan Melamed
ICTAI
2009
IEEE
15 years 4 months ago
Translation of an Argumentation Framework into a CP-Boolean Game
Abstract—There already exist some links between argumentation and game theory. For instance, dynamic games can be used for simulating interactions between agents in an argumentat...
Elise Bonzon, Caroline Devred, Marie-Christine Lag...
FM
2008
Springer
127views Formal Methods» more  FM 2008»
14 years 11 months ago
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
Olivier Ponsini, Wendelin Serwe
54
Voted
DICTA
2003
14 years 11 months ago
Epipole Estimation under Pure Camera Translation
 The position of the epipole (or focus of expansion), when a camera  moves  under  pure  translation,  provides  useful  information  in  a  range  of  comp...
Zezhi Chen, Nick Pears, John McDermid, Thomas Hese...