1753 search results - page 95 / 351 » Reducibility of domain representations and Cantor-Weihrauch ... |
CONTEXT
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In this paper, we propose a general model of schema matching based on the following ideas: on the one hand, a schema is viewed as a context (namely as a partial and appro...
CONTEXT
2007
Springer
14 years 3 months ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
ESOP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
ML
2002
ACM
13 years 8 months ago
2002
ACM
Additive clustering was originally developed within cognitive psychology to enable the development of featural models of human mental representation. The representational flexibili...
WAIM
2010
Springer
13 years 7 months ago
2010
Springer
We present HyperGraphDB, a novel graph database based on generalized hypergraphs where hyperedges can contain other hyperedges. This generalization automatically reifies every ent...