The main purpose of this paper is to illustrate the characteristics of ontology-based authoring tools for Computer Based Training (CBT) systems. It has two major advantages as fol...
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
For several decades there has been a debate in the computing sciences about the relative roles of design and empirical research, and about the contribution of design and research ...
Established researchers and practitioners active in the development and deployment of media spaces review what seemed to be promised twenty years ago, what has actually been achie...
Ronald Baecker, Steve R. Harrison, William Buxton,...