Sciweavers

1382 search results - page 31 / 277
» Interactive pen-and-ink illustration
Sort
View
IVS
2008
90views more  IVS 2008»
15 years 6 months ago
Jigsaw: supporting investigative analysis through interactive visualization
Investigative analysts who work with collections of text documents connect embedded threads of evidence in order to formulate hypotheses about plans and activities of potential in...
John T. Stasko, Carsten Görg, Zhicheng Liu
IBMSJ
2000
108views more  IBMSJ 2000»
15 years 5 months ago
Context-aware design and interaction in computer systems
As human computer interface gets more immersive, it will need to explicitly draw upon cognitive science as a basis for understanding what people are capable of doing. User experie...
Ted Selker, Winslow Burleson
ENTCS
2002
82views more  ENTCS 2002»
15 years 5 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»
15 years 11 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
CHI
2009
ACM
15 years 9 months ago
A sustainable identity: the creativity of an everyday designer
In this paper we explore sustainability in interaction design by reframing concepts of user identity and use in a domestic setting. Building on our own work on everyday design and...
Ron Wakkary, Karen Tanenbaum