568 search results - page 57 / 114 » From Machine Translation to Computer Assisted Translation us... |
ASM
2003
ASM
15 years 3 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
LREC
2010
14 years 11 months ago
2010
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...
MICRO
1996
IEEE
15 years 1 months ago
1996
IEEE
A machine description facility allows compiler writers to specify machine execution constraints to the optimization and scheduling phases of an instruction-level parallelism (ILP)...
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents motion field histograms as a new way of extracting facial features and modeling expressions. Feature are based on local receptive field histograms, which are r...