Sciweavers

2934 search results - page 460 / 587
» Universality in Multi-Agent Systems
Sort
View
ACMSE
2005
ACM
15 years 3 months ago
Interactive 3D terrain exploration and visualization
The CECA VisLab is currently investigating the educational uses of a GeoWall 3D Stereo Rendering system. Many commercial and non-commercial programs are currently available for ge...
Stephanie A. Smullen, Clinton W. Smullen III, Carl...
SIGCSE
2005
ACM
106views Education» more  SIGCSE 2005»
15 years 3 months ago
A model for improving secondary CS education
This paper describes how the Institute for Computing Education (ICE) at Georgia Tech is trying to improve the state of computer science education in secondary schools in Georgia. ...
Barbara Ericson, Mark Guzdial, Maureen Biggers
SIGCSE
2005
ACM
192views Education» more  SIGCSE 2005»
15 years 3 months ago
Ubiquitous presenter: increasing student access and control in a digital lecturing environment
The University of Washington’s Classroom Presenter lecturing system enables an active lecturing environment by combining a standard electronic slide presentation format with the...
Michelle Wilkerson, William G. Griswold, Beth Simo...
AIED
2005
Springer
15 years 3 months ago
Assessing and Scaffolding Collaborative Learning in Online Discussions
: In this paper we present two computational approaches that can be used characterize and measure online threaded discussions and demonstrate that they can objectively validate stu...
Erin Shaw
81
Voted
ATVA
2005
Springer
131views Hardware» more  ATVA 2005»
15 years 3 months ago
An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
Fuzhi Wang, Marta Z. Kwiatkowska