3824 search results - page 452 / 765 » Geometry Constructions Language |
145
Voted
EACL
1993
ACL Anthology
15 years 6 months ago
1993
ACL Anthology
This paper proposes a method for measuring semantic similarity between words as a new tool for text analysis. The similarity is measured on a semantic network constructed systemat...
111
click to vote
COLING
1996
15 years 6 months ago
1996
Little notice has been taken of punctuation in the field of natural language processing, chiefly due to the lack of any coherent theory on which to base implementations. Some work...
136
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
A monadic parser combinator library which guarantees termination of parsing, while still allowing many forms of left recursion, is described. The library's interface is simil...
135
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...
112
click to vote
ENTCS
2010
15 years 5 months ago
2010
We present a novel specification language called JDC to be used at design phase of distributed components. The extensive seek for asynchrony in distributed components demands new ...