3819 search results - page 169 / 764 » Simple Easy Terms |
158
Voted
CSL
2008
Springer
15 years 8 months ago
2008
Springer
The study of type isomorphisms for different -calculi started over twenty years ago, and a very wide body of knowledge has been established, both in terms of results and in terms o...
218
click to vote
JUCS
2000
15 years 6 months ago
2000
This article introduces the idea that information compression by multiple alignment, unification and search (ICMAUS) provides a framework within which natural language syntax may ...
138
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
154
click to vote
SIGIR
2003
ACM
16 years 6 days ago
2003
ACM
Hierarchies provide a means of organizing, summarizing and accessing information. We describe a method for automatically generating hierarchies from small collections of text, and...
176
Voted
NLUCS
2008
15 years 8 months ago
2008
Abstract. To develop a computational model of understanding spatial expressions, various factors should be taken into account. We have been exploring the relations between the good...