3001 search results - page 93 / 601 » Recursive type generativity |
119
Voted
COLING
1990
15 years 3 months ago
1990
We propose an architecture for the organisation of linguistic knowledge which allows to (1) separately formulate generalizations for different types of linguistic information, and...
127
click to vote
ACL
2012
13 years 5 months ago
2012
This paper presents a comparative study of spelling errors that are corrected as you type, vs. those that remain uncorrected. First, we generate naturally occurring online error c...
105
Voted
FLOPS
2010
Springer
15 years 9 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
129
click to vote
COLING
1994
15 years 3 months ago
1994
This paper describes the enhancements made, within a unification framework, based on typed feature structures, in order to support linking of lexical entries to their translation ...
EACL
1989
ACL Anthology
15 years 3 months ago
1989
ACL Anthology
One way of characterising texts is in terms of the discourse structures on which they appear to be built. Each type of text, or genre, e.g. the sports report, the recipe, the serm...