Sciweavers

2909 search results - page 244 / 582
» Consistency of the theory of contexts
Sort
View
ENTCS
2007
102views more  ENTCS 2007»
15 years 6 months ago
Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
Brigitte Pientka
JUCS
2006
126views more  JUCS 2006»
15 years 6 months ago
Behavioral Institutions and Refinements in Generalized Hidden Logics
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...
Manuel A. Martins
MANSCI
2006
121views more  MANSCI 2006»
15 years 6 months ago
Methodologies and Algorithms for Group-Rankings Decision
The problem of group ranking, a.k.a. rank aggregation, has been studied in contexts varying from sports, to multi-criteria decision making, to machine learning, to ranking web pag...
Dorit S. Hochbaum, Asaf Levin
FSS
2007
176views more  FSS 2007»
15 years 6 months ago
Set approximations in fuzzy formal concept analysis
Formal concept analysis and rough set theory are two important tools in knowledge representation and knowledge discovery in relational information systems. The purpose of this pap...
Ming-Wen Shao, Min Liu, Wen-Xiu Zhang
SIGIR
2008
ACM
15 years 6 months ago
Measuring concept relatedness using language models
Over the years, the notion of concept relatedness has attracted considerable attention. A variety of approaches, based on ontology structure, information content, association, or ...
Dolf Trieschnigg, Edgar Meij, Maarten de Rijke, We...