6794 search results - page 303 / 1359 » Semantics of Visual Languages |
134
click to vote
CNL
2009
15 years 4 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...
103
click to vote
COLING
2002
15 years 3 months 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...
108
Voted
ACL
2010
15 years 1 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...
126
click to vote
LREC
2010
15 years 4 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...
124
click to vote
ESOP
2005
Springer
15 years 8 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...