960 search results - page 83 / 192 » Computational Semantics Of Mass Terms |
LICS
2007
IEEE
14 years 2 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 ...
ICFP
2012
ACM
11 years 10 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
JFPLC
2000
13 years 9 months ago
2000
ABSTRACT. This paper focuses on the assignment of meaning to some nonterminating SLD derivations in logic programming. Several approaches have been developped by considering infini...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
Large scale image search has recently attracted considerable attention due to easy availability of huge amounts of data. Several hashing methods have been proposed to allow approx...
EAGC
2004
Springer
14 years 1 months ago
2004
Springer
Metadata management is critical for Grid systems. More specifically, semantically meaningful resource descriptions constitute a highly beneficial extension to Grid environments t...