4743 search results - page 206 / 949 » The PlusCal Algorithm Language |
108
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
ACL
2007
15 years 4 months ago
2007
This paper addresses the automatic classification of semantic relations in noun phrases based on cross-linguistic evidence from a set of five Romance languages. A set of novel s...
114
click to vote
ACL
2004
15 years 4 months ago
2004
This paper discusses the use of statistical word alignment over multiple parallel texts for the identification of string spans that cannot be constituents in one of the languages....
122
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-inter...
103
click to vote
EACL
2006
ACL Anthology
15 years 4 months ago
2006
ACL Anthology
This paper presents a way in which a lexicalised HPSG grammar can handle word order constraints in a computational parsing system, without invoking an additional layer of represen...