Sciweavers

3819 search results - page 177 / 764
» Simple Easy Terms
Sort
View
ERCIMDL
1999
Springer
110views Education» more  ERCIMDL 1999»
15 years 11 months ago
Integrating Ontologies and Thesauri to Build RDF Schemas
In this paper we present a new approach for building RDF schemas by integrating existing ontologies and structured vocabularies (thesauri). We will present a simple mechanism base...
Bernd Amann, Irini Fundulaki
CSL
2006
Springer
15 years 10 months ago
The Power of Linear Functions
Abstract. The linear lambda calculus is very weak in terms of expressive power: in particular, all functions terminate in linear time. In this paper we consider a simple extension ...
Sandra Alves, Maribel Fernández, Már...
162
Voted
FPCA
1995
15 years 10 months ago
A Generalization of Exceptions and Control in ML-like Languages
We add functional continuations and prompts to a language with an ML-style type system. The operators signi cantly extend and simplify the control operators in SML/NJ, and can be ...
Carl A. Gunter, Didier Rémy, Jon G. Riecke
150
Voted
ACL
2006
15 years 8 months ago
Exploring the Potential of Intractable Parsers
We revisit the idea of history-based parsing, and present a history-based parsing framework that strives to be simple, general, and flexible. We also provide a decoder for this pr...
Mark Hopkins, Jonas Kuhn
175
Voted
ROOM
2000
15 years 8 months ago
Object-Oriented Refinement and Proof using Behaviour Functions
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
Tony Clark