Sciweavers

4235 search results - page 333 / 847
» Process Spaces
Sort
View
141
Voted
ISMAR
2008
IEEE
15 years 11 months ago
The design of a mixed-reality book: Is it still a real book?
In this paper we present the results of our long term development of a mixed reality book. Most previous work in the area has focused on the technology of augmented reality books,...
Raphael Grasset, Andreas Dünser, Mark Billing...
VL
2007
IEEE
125views Visual Languages» more  VL 2007»
15 years 10 months ago
Visual Reasoning by Generalized Interval-values and Interval Temporal Logic
Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as specific ...
Benedek Nagy, Sándor Vályi
ICALT
2006
IEEE
15 years 10 months ago
Effective Analysis and Design of Computer-Supported Learning System
The analysis phase constitutes an essential step in the development of information systems. Nevertheless, learning materials design activities currently have reduced the analysis ...
David Díez Cebollero, Camino Fernánd...
ICALT
2005
IEEE
15 years 10 months ago
The Effect of Interactivity on Web-Based Instruction Learners' Attitude, Satisfaction, and Performances
The Internet breaks the limitations of time and space and provides a flexible platform for learning. Learning is a two-way communication and interactivity is a process to enhance ...
Juei-ni Sun, Yu-chen Hsu
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
15 years 10 months ago
Accurate Step Counting
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
Catherine Hope, Graham Hutton