Sciweavers

27 search results - page 2 / 6
» csr 2006
Sort
View
CSR
2006
Springer
13 years 9 months ago
Inductive Type Schemas as Functors
Freiric Barral, Sergei Soloviev
CSR
2006
Springer
13 years 11 months ago
Synchronous Elastic Circuits
Michael Kishinevsky, Jordi Cortadella, Bill Grundm...
SEMWEB
2007
Springer
14 years 1 months ago
Learning Subsumption Relations with CSR: a Classification based Method for the Alignment of Ontologies
In this paper we propose the "Classification-Based Learning of Subsumption Relations for the Alignment of Ontologies" (CSR) method. Given a pair of concepts from two onto...
Vassilis Spiliopoulos, Alexandros G. Valarakos, Ge...
CSR
2006
Springer
13 years 11 months ago
Logic of Proofs for Bounded Arithmetic
The logic of proofs is known to be complete for the semantics of proofs in PA. In this paper we present a refinement of this theorem, we will show that we can assure that all the ...
Evan Goris