Sciweavers

3276 search results - page 414 / 656
» Data learning based diagnosis
Sort
View
KI
2007
Springer
16 years 23 days ago
Relational Exploration - Reconciling Plato and Aristotle
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
Sebastian Rudolph
AAAI
2008
15 years 9 months ago
Semi-supervised Classification Using Local and Global Regularization
In this paper, we propose a semi-supervised learning (SSL) algorithm based on local and global regularization. In the local regularization part, our algorithm constructs a regular...
Fei Wang, Tao Li, Gang Wang, Changshui Zhang
ENTCS
2008
125views more  ENTCS 2008»
15 years 6 months ago
Can Refinement be Automated?
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
Peter Höfner, Georg Struth
JMLR
2010
99views more  JMLR 2010»
15 years 1 months ago
An Efficient Explanation of Individual Classifications using Game Theory
We present a general method for explaining individual predictions of classification models. The method is based on fundamental concepts from coalitional game theory and prediction...
Erik Strumbelj, Igor Kononenko
ESWS
2007
Springer
15 years 10 months ago
Semantic Group Formation
Many approaches to learning and teaching rely upon students working in groups. Formation of optimal groups can be a time consuming and complex task, particularly when the list of ...
Asma Ounnas