3824 search results - page 345 / 765 » Geometry Constructions Language |
LREC
2010
15 years 6 months ago
2010
We present in this paper an on-going research: the construction and annotation of a Romanian Generative Lexicon (RoGL). Our system follows the specifications of CLIPS project for ...
102
click to vote
ACL
2006
15 years 6 months ago
2006
There are some sorts of `Preposition + Noun' combinations in Farsi that apparently a Prepositional Phrase almost behaves as Compound Prepositions. As they are not completely ...
145
click to vote
NDQA
2003
15 years 6 months ago
2003
We describe our approach in constructing question answering systems, which involves natural language parsing enhanced with named entity extraction and part-of-speech tagging. Perf...
141
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
136
click to vote
IPL
2006
15 years 4 months ago
2006
A language is defined by closure under safe iteration and under a new form of safe diagonalization that, unlike other forms of diagonalization used in literature to define sub-recu...