Sciweavers

564 search results - page 14 / 113
» Do interactive systems need specifications
Sort
View
158
Voted
FP
1992
135views Formal Methods» more  FP 1992»
15 years 7 months ago
High Level Specification of I/O in Functional Languages
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....
Peter Achten, John H. G. van Groningen, Marinus J....
108
Voted
CHI
2008
ACM
16 years 4 months ago
From meiwaku to tokushita!: lessons for digital money design from japan
Based on ethnographically-inspired research in Japan, we report on people's experiences using digital money payment systems that use Sony's FeliCa near-field communicati...
Scott D. Mainwaring, Wendy March, Bill Maurer
129
Voted
CGI
1997
IEEE
15 years 8 months ago
The Visorama System: A Functional Overview of a New Virtual Reality Environment
The recent developments in image-based rendering have enabled a representation of virtual environments based on a simulation of panoramas, which we call virtual panoramas. Current...
André Matos, Luiz Velho, Jonas Gomes, Andr&...
145
Voted
PVG
2003
IEEE
165views Visualization» more  PVG 2003»
15 years 9 months ago
A PC Cluster System for Simultaneous Interactive Volumetric Modeling and Visualization
A number of problems are well suited for volumetric representation for both simulation and storage, however, the large amount of data that needs to be processed and rendered with ...
Shigeru Muraki, Eric B. Lum, Kwan-Liu Ma, Masato O...
124
Voted
UIALL
2004
Springer
15 years 9 months ago
Multimodal Interaction in Architectural Design Applications
In this paper we report on ongoing experiments with an advanced multimodal system for applications in architectural design. The system supports uninformed users in entering the rel...
Lou Boves, Andre Neumann, Louis Vuurpijl, Louis te...