This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...
— This paper evaluates the performance of VoIP services over mobile accesses, with special focus on currently deployed Best Effort UMTS networks. There are different configuratio...
— Intuitive human-robot cooperation presents a challenge to robots since it demands of them a high level of understanding of the human user. Our approach is to estimate the human...
This paper will concentrate on how teacher can support learners in creating their own learning tools conducive to learning. Authors will discuss how the journey in creating differ...
Scatterograms of the images of training set vectors in the hidden space help to evaluate the quality of neural network mappings and understand internal representations created by t...