Sciweavers

929 search results - page 150 / 186
» Computer assistance for model definition
Sort
View
ICNP
2006
IEEE
15 years 3 months ago
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ri...
ISMAR
2006
IEEE
15 years 3 months ago
Support system for guitar playing using augmented reality display
Learning to play the guitar is difficult. We proposed a system that assists people learning to play the guitar using augmented reality. This system shows a learner how to correct...
Yoichi Motokawa, Hideo Saito
VISUALIZATION
2005
IEEE
15 years 3 months ago
Opening the Black Box - Data Driven Visualization of Neural Network
Arti cial neural networks are computer software or hardware models inspired by the structure and behavior of neurons in the human nervous system. As a powerful learning tool, incr...
Fan-Yin Tzeng, Kwan-Liu Ma
ATAL
2005
Springer
15 years 3 months ago
Task delegation using experience-based multi-dimensional trust
Cooperation among autonomous agents involves an inherent degree of uncertainty. Agents determine for themselves when to initiate cooperation or to assist others, when to rescind c...
Nathan Griffiths
AIED
2005
Springer
15 years 3 months ago
Serious Games for Language Learning: How Much Game, How Much AI?
Modern computer games show potential not just for engaging and entertaining users, but also in promoting learning. Game designers employ a range of techniques to promote long-term ...
W. Lewis Johnson, Hannes Högni Vilhjál...