5787 search results - page 21 / 1158 » Generic User Modeling Systems |
IFE
2002
13 years 9 months ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
KI
2009
Springer
14 years 4 months ago
2009
Springer
The article contributes a derivation of variational Bayes for a large class of topic models by generalising from the well-known model of latent Dirichcation. For an abstraction of ...
TPHOL
2005
IEEE
14 years 3 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
NN
2000
Springer
13 years 9 months ago
2000
Springer
The proper functioning of the nervous system depends critically on the intricate network of synaptic connections that are generated during the system development. During the netwo...
ICAD
2004
13 years 11 months ago
2004
This paper describes a design approach for creating generic computer user interfaces with spatial auditory displays. It proposes a structured depiction process from formulating mo...