Sciweavers

1143 search results - page 37 / 229
» Mental models of recursion
Sort
View
IJHCI
2010
144views more  IJHCI 2010»
13 years 6 months ago
Naturalistic Decision Making for Power System Operators
Motivation – Investigations of large-scale outages in the North American interconnected electric system often attribute the causes to three T’s: Trees, Training and Tools. To ...
Frank L. Greitzer, Robin Podmore, Marck Robinson, ...
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
13 years 11 months ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba
CHI
2009
ACM
14 years 8 months ago
WIIS: multimodal simulation for exploring the world beyond visual sense
This paper describes a pilot study of a computer simulation called WIIS, which is designed to extend students' learning experience of the sizes of the objects beyond human vi...
Minyoung Song, Chris Quintana
CHI
2004
ACM
14 years 8 months ago
Social learning through gaming
This position paper describes the implementation and initial findings of a game called Personal Investigator (PI). PI is an online 3D detective game that implements a model of Bri...
Elaine M. Raybourn, Annika Wærn
AGILE
2009
Springer
281views GIS» more  AGILE 2009»
14 years 2 months ago
3D Wayfinding Choremes: A Cognitively Motivated Representation of Route Junctions in Virtual Environments
Research in cognitive sciences suggests that orientation and navigation along routes can be improved if the graphical representation is aligned with the user’s mental concepts o...
Tassilo Glander, Denise Peters, Matthias Trapp, J&...