6018 search results - page 215 / 1204 » Factored Translation Models |
142
click to vote
ESWS
2007
Springer
15 years 11 months ago
2007
Springer
This position paper presents the semantically enhanced Business Process Modelling Notation, namely the sBPMN ontology, developed within the SUPER project. Moreover, it elaborates s...
115
click to vote
ENTCS
2006
15 years 5 months ago
2006
Increasing attention has been paid recently to criteria that allow one to conclude that a structure models a linear-time property from the knowledge that no counterexamples exist ...
126
click to vote
ACL
2000
15 years 6 months ago
2000
Building a bilingual dictionary for transfer in a machine translation system is conventionally done by hand and is very time-consuming. In order to overcome this bottleneck, we pr...
161
click to vote
ACL
1989
15 years 6 months ago
1989
We propose a model for transfer in machine translation which uses a rewriting system for typed feature structures. The grammar definitions describe transfer relations which are ap...
136
click to vote
ENTCS
2006
15 years 5 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...