6794 search results - page 303 / 1359 » Semantics of Visual Languages |
118
Voted
CNL
2009
15 years 1 months ago
2009
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
81
Voted
COLING
2002
15 years 19 days ago
2002
This paper presents a method that measures the similarity between compound nouns in different languages to locate translation equivalents from corpora. The method uses information...
87
Voted
ACL
2010
14 years 11 months ago
2010
We describe the semi-automatic adaptation of a TimeML annotated corpus from English to Portuguese, a language for which TimeML annotated data was not available yet. In order to va...
106
Voted
LREC
2010
15 years 2 months ago
2010
This paper reports our experience when integrating differ resources and services into a grid environment. The use case we address implies the deployment of several NLP application...
100
Voted
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...