Sciweavers

1162 search results - page 71 / 233
» Monotonic Semantic Interpretation
Sort
View
91
Voted
ESSLLI
1999
Springer
15 years 4 months ago
Setting up Exhausted Values
This paper argues that exhaustification is empirically and theoretically important as a tool in the semantic description of various constructions in natural language. Discussion f...
Alastair Butler
114
Voted
DAGSTUHL
2001
15 years 2 months ago
Constructive Foundations for Featherweight Java
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
Thomas Studer
109
Voted
ACL
1992
15 years 1 months ago
Association-Based Natural Language Processing with Neural Networks
This paper describes a natural language processing system reinforced by the use of association of words and concepts, implemented as a neural network. Combining an associative net...
Kazuhiro Kimura, Takashi Suzuoka, Shin'ya Amano
74
Voted
CORR
2006
Springer
102views Education» more  CORR 2006»
15 years 19 days ago
A Formal Foundation for ODRL
ODRL is a popular XML-based language for stating the conditions under which resources can be accessed. The language is underspecified, and can be reasonably interpreted in a number...
Riccardo Pucella, Vicky Weissman
84
Voted
IGPL
2008
67views more  IGPL 2008»
15 years 19 days ago
Complete Axiomatisations of Properties of Finite Sets
We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, ...
Thomas Ågotnes, Michal Walicki