Sciweavers

2002 search results - page 75 / 401
» Interactive technical illustration
Sort
View
USAB
2007
13 years 10 months ago
User-Centered Methods Are Insufficient for Safety Critical Systems
The traditional approaches of HCI are essential, but they are unable to cope with the complexity of typical modern interactive devices in the safety critical context of medical dev...
Harold W. Thimbleby
EMINDS
2011
244views more  EMINDS 2011»
13 years 4 months ago
A Framework for Designers to Support Prospective Design
In this paper, we analyze the term ”prospective design” from various perspectives. The theoretical-, research- and empirical-based approximations are centralized. Furthermore, ...
Udo Schubert
MOBILWARE
2009
ACM
14 years 4 months ago
Pervasive Adaptation in Car Crowds
Abstract. Advances in the miniaturization and embedding of electronics for microcomputing, communication and sensor/actuator systems, have fertilized the pervasion of technology in...
Alois Ferscha, Andreas Riener
ENTCS
2002
82views more  ENTCS 2002»
13 years 9 months ago
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
Alberto Momigliano, Simon Ambler, Roy L. Crole
MM
2004
ACM
165views Multimedia» more  MM 2004»
14 years 3 months ago
Minimal structures for stories
Our research on Interactive Drama aims at conciliating interaction and story at the deepest level, the level of action. From a given story representation formalism, a set of eleme...
Nicolas Szilas, Jean-Hugues Réty