Sciweavers

1944 search results - page 139 / 389
» Understanding and evaluating creativity
Sort
View
CADE
2004
Springer
16 years 3 months ago
Dr.Doodle: A Diagrammatic Theorem Prover
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...
Daniel Winterstein, Alan Bundy, Corin A. Gurr
128
Voted
ICAS
2009
IEEE
164views Robotics» more  ICAS 2009»
15 years 10 months ago
Study of the Impact of UMTS Best Effort Parameters on QoE of VoIP Services
— 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...
Jose Oscar Fajardo, Fidel Liberal, Nagore Bilbao
ROMAN
2007
IEEE
126views Robotics» more  ROMAN 2007»
15 years 10 months ago
Proactive Robot Task Selection Given a Human Intention Estimate
— 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...
Andreas J. Schmid, Oliver Weede, Heinz Wörn
120
Voted
ICALT
2006
IEEE
15 years 9 months ago
Learner as a Designer of Digital Learning Tools
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...
Yasmin Bhattacharya, Madhumita Bhattacharya
105
Voted
ICAISC
2004
Springer
15 years 9 months ago
Visualization of Hidden Node Activity in Neural Networks: II. Application to RBF Networks
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...
Wlodzislaw Duch