Sciweavers

27 search results - page 2 / 6
» csr 2006
Sort
View
CSR
2006
Springer
14 years 11 months ago
Inductive Type Schemas as Functors
Freiric Barral, Sergei Soloviev
CSR
2006
Springer
15 years 1 months ago
Synchronous Elastic Circuits
Michael Kishinevsky, Jordi Cortadella, Bill Grundm...
SEMWEB
2007
Springer
15 years 3 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
15 years 1 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