Sciweavers

2944 search results - page 130 / 589
» Robust Semantic Construction
Sort
View
HPCC
2007
Springer
16 years 16 days ago
An Ontology for Semantic Web Services
An ontology for Semantic Web Services is proposed in this paper, whose intention is to enrich Web Services description. Distinguish from the existing ontologies, the proposed ontol...
Qizhi Qiu, Qianxing Xiong
COLING
2008
15 years 7 months ago
Semantic Role Assignment for Event Nominalisations by Leveraging Verbal Data
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...
Sebastian Padó, Marco Pennacchiotti, Caroli...
LICS
2009
IEEE
16 years 1 months ago
Dinatural Terms in System F
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 ...
Joachim De Lataillade
ECOOP
1999
Springer
15 years 10 months ago
A Core Calculus of Classes and Mixins
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...
Viviana Bono, Amit Patel, Vitaly Shmatikov
CORR
2007
Springer
151views Education» more  CORR 2007»
15 years 6 months ago
The algebraicity of the lambda-calculus
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...
André Hirschowitz, Marco Maggesi