Sciweavers

86 search results - page 15 / 18
» The Reality of Experience: Gibson's Way
Sort
View
ISARCS
2010
156views Hardware» more  ISARCS 2010»
13 years 9 months ago
A Road to a Formally Verified General-Purpose Operating System
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
Martin Decký
HCI
2007
13 years 8 months ago
Evaluation of Wayfinding Aids Interface in Virtual Environment
It is difficult for a navigator to find a way to a given target location in an unfamiliar environment. Often, wayfinding guidance such as an overview map is provided to assist the ...
Anna Wu, Wei Zhang, Bo Hu, Xiaolong Zhang
BNCOD
2004
131views Database» more  BNCOD 2004»
13 years 8 months ago
Teaching SQL - Which Pedagogical Horse for This Course?
A student with a Computing Science degree is expected to have reached a reasonable level of expertise in SQL. SQL is a non-trivial skill to master and is taught with different degr...
Karen Renaud, Judy van Biljon
VISSYM
2004
13 years 8 months ago
Medical Applications of Multi-field Volume Rendering and VR Techniques
This paper reports on a new approach for visualizing multi-field MRI or CT datasets in an immersive environment with medical applications. Multi-field datasets combine multiple sc...
Joe Kniss, Jürgen P. Schulze, Uwe Wössne...
CE
2006
161views more  CE 2006»
13 years 7 months ago
Applying an authentic, dynamic learning environment in real world business
This paper describes a dynamic computer-based business learning environment and the results from applying it in a real-world business organization. We argue for using learning too...
Timo Lainema, Sami Nurmi