Sciweavers

1374 search results - page 104 / 275
» Computer graphics in undergraduate computational science edu...
Sort
View
SPIN
2010
Springer
13 years 7 months ago
Efficient Explicit-State Model Checking on General Purpose Graphics Processors
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
Stefan Edelkamp, Damian Sulewski
CE
2004
128views more  CE 2004»
13 years 9 months ago
The role of educational software as a support for teaching and learning conversations
: Much recent educational research focuses on teaching and learning within classroom conversations. This raises the question of the role of ICT as a support for such conversations....
Rupert Wegerif
CORR
1998
Springer
135views Education» more  CORR 1998»
13 years 9 months ago
The Design of EzWindows: A Graphics API for an Introductory Programming Course
Teaching object-oriented programming in an introductory programming course poses considerable challenges to the instructor. An often advocated approach to meeting this challenge i...
Bruce R. Childers, James P. Cohoon, Jack W. Davids...
IUI
2005
ACM
14 years 2 months ago
Animating an interactive conversational character for an educational game system
Within the framework of the project NICE (Natural Interactive Communication for Edutainment) [2], we have been developing an educational and entertaining computer game that allows...
Andrea Corradini, Manish Mehta, Niels Ole Bernsen,...
CHI
1997
ACM
14 years 1 months ago
KidPad: A Design Collaboration Between Children, Technologists, and Educators
We established an interdisciplinary, intergenerational collaboration in the fall of 1995, between the University of New Mexico's Computer Science Department, the College of E...
Allison Druin, Jason Stewart, David Proft, Benjami...