Sciweavers

3634 search results - page 177 / 727
» The Field Representation Language
Sort
View
174
Voted
ACL
2010
15 years 5 months ago
Tackling Sparse Data Issue in Machine Translation Evaluation
We illustrate and explain problems of n-grams-based machine translation (MT) metrics (e.g. BLEU) when applied to morphologically rich languages such as Czech. A novel metric SemPO...
Ondrej Bojar, Kamil Kos, David Marecek
KR
2004
Springer
16 years 12 days ago
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
Volker Haarslev, Ralf Möller
UML
2001
Springer
15 years 11 months ago
iState: A Statechart Translator
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Java, or the Abstract Mac...
Emil Sekerinski, Rafik Zurob
ENTCS
2007
107views more  ENTCS 2007»
15 years 7 months ago
Formal Translation of Bytecode into BoogiePL
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
Hermann Lehner, Peter Müller
DOCENG
2003
ACM
16 years 9 days ago
Context representation, transformation and comparison for ad hoc product data exchange
Product data exchange is the precondition of business interoperation between Web-based firms. However, millions of small and medium sized enterprises (SMEs) encode their Web produ...
Jingzhi Guo, Chengzheng Sun