2623 search results - page 83 / 525 » Universal Learning Theory |
IJON
1998
13 years 10 months ago
1998
Bayesian Kullback Ying—Yang dependence reduction system and theory is presented. Via stochastic approximation, implementable algorithms and criteria are given for parameter lear...
BIRTHDAY
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
IJAC
2008
13 years 10 months ago
2008
species and combinatorial Hopf algebras on the one hand, and quantum groups and the classification theory of abstract Hopf algebras on the other. This is part of joint work with Sw...
AIED
2007
Springer
2007
Springer
Standard-Compliant Scenario Building with Theoretical Justification in a Theory-Aware Authoring Tool
14 years 4 months ago
Nowadays standard technologies play important roles in enhancing sharability, reusability and interoperability of learning contents. However, there is a lack of pedagogical justifi...
ITS
2004
Springer
14 years 3 months ago
2004
Springer
This paper introduces the rationale for concrete situations in the authoring process that can exploit a theory-aware Authoring Environment. It illustrates how Ontological Engineeri...