549 search results - page 84 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
118
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Escalation is a typical feature of infinite games. Therefore tools conceived for studying infinite mathematical structures, namely those deriving from coinduction are essential. H...
137
click to vote
EOR
2006
15 years 4 months ago
2006
The robust spanning tree problem is a variation, motivated by telecommunications applications, of the classic minimum spanning tree problem. In the robust spanning tree problem ed...
123
click to vote
AIEDU
2005
15 years 3 months ago
2005
In this paper, we explore the problem of selecting appropriate interventions for students based on an analysis of their interactions with a tutoring system. In the context of the W...
138
click to vote
JMLR
2010
14 years 10 months ago
2010
: This review presents empirical researchers with recent advances in causal inference, and stresses the paradigmatic shifts that must be undertaken in moving from traditional stati...
163
click to vote
AI
2010
Springer
15 years 4 months ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...