1746 search results - page 70 / 350 » A Constructive Semantics for ALC |
120
Voted
COLING
2008
15 years 5 months ago
2008
This paper presents a novel approach to the task of semantic role labelling for event nominalisations, which make up a considerable fraction of predicates in running text, but are...
128
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
131
click to vote
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...
127
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We propose a new definition for abstract syntax (with binding constructions), and, accordingly, for initial semantics and algebraicity. Our definition is based on the n...
134
Voted
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
In this work, we study the extraction of semantic objects from still images. We combine different ideas to extract them in a structured manner together with a perceptual metric th...