Sciweavers

18918 search results - page 330 / 3784
» Using Technology in Teaching
Sort
View
DIAGRAMS
2004
Springer
15 years 9 months ago
An Experimental Comparison of Diagrammatic and Algebraic Logics
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...
Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mat...
148
Voted
WSC
2008
15 years 6 months ago
Enhancing simulation as improvement and decision support system tool
Lecturing a Discrete Event Simulation course implies some challenges for the instructors. These challenges implies taking decisions from the design of the course to the selection ...
Heriberto Garcia, Eduardo Garcia
CIG
2005
IEEE
15 years 10 months ago
Board Evaluation For The Virus Game
Abstract- The Virus Game (or simply Virus) is a turnbased two player perfect information game which is based on the growth and spread of competing viruses. This paper describes a C...
Peter I. Cowling
OOPSLA
2005
Springer
15 years 10 months ago
Roles of variables in object-oriented programming
Roles can be assigned to occurrences of variables in programs according to a small number of stereotypical patterns of use. Studies on explicitly teaching roles to novices learnin...
Pauli Byckling, Petri Gerdt, Jorma Sajaniemi
ECCV
2004
Springer
15 years 9 months ago
An AR Human Computer Interface for Object Localization in a Cognitive Vision Framework
Abstract. In the European cognitive vision project VAMPIRE (IST2001-34401), mobile AR-kits are used for interactive teaching of a visual active memory. This is achieved by 3D augme...
Hannes Siegl, Gerald Schweighofer, Axel Pinz