1634 search results - page 7 / 327 » Classifying Technical Terms |
UM
2001
Springer
13 years 12 months ago
2001
Springer
Our work explores an interactive open learner modelling (IOLM) approach where learner diagnosis is considered as an interactive process involving both a computer system and a learn...
HICSS
1994
IEEE
13 years 11 months ago
1994
IEEE
This paper examines the facilitator, group member, and system roles as a complete socio-technical system. Each of these three components of the sociotechnical system is discussed ...
CTCS
1997
Springer
13 years 11 months ago
1997
Springer
Monads can be used to model term rewriting systems by generalising the well-known equivalence between universal algebra and monads on the category Set. In [L¨u96], this semantics ...
KR
2004
Springer
14 years 25 days ago
2004
Springer
The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered. A new logical variant is proposed that cap...
SIGDOC
2005
ACM
14 years 1 months ago
2005
ACM
The creation process of technical documentation is an expensive and time-consuming task especially for complex products. To make this process more cost-efficient computerized supp...