2944 search results - page 72 / 589 » Robust Semantic Construction |
146
click to vote
KDD
2001
ACM
16 years 6 months ago
2001
ACM
Many applications dealing with textual information require classification of words into semantic classes (or concepts). However, manually constructing semantic classes is a tediou...
138
click to vote
CSR
2008
Springer
15 years 7 months ago
2008
Springer
We define a denotational semantics for Light Affine Logic (LAL) which has the property that denotations of functions are polynomial time computable by construction of the model. Th...
141
Voted
LATIN
2010
Springer
16 years 12 days ago
2010
Springer
We study the error robustness of tilings of the plane. The fundamental question is the following: given a tileset, what happens if we allow a small probability of errors? Are the o...
151
click to vote
TPHOL
2009
IEEE
16 years 7 days ago
2009
IEEE
Abstract. We present a Coq formalization of constructive ω-cpos (extending earlier work by Paulin-Mohring) up to and including the inverselimit construction of solutions to mixed-...
139
click to vote
EACL
1993
ACL Anthology
15 years 7 months ago
1993
ACL Anthology
The interpretation of coercion constructions (to begin a book) has been recently considered as resulting from the operation of type changing. For instance, a phrase of type o (obj...