Sciweavers

3061 search results - page 292 / 613
» interactions 2010
Sort
View
TEI
2010
ACM
134views Hardware» more  TEI 2010»
16 years 1 months ago
Liquids, smoke, and soap bubbles: reflections on materials for ephemeral user interfaces
In this paper we inquire material qualities for tangible user interfaces and introduce the term “ephemeral user interface”. We present an example user interface that employs f...
Axel Sylvester, Tanja Döring, Albrecht Schmid...
165
Voted
ITS
2010
Springer
159views Multimedia» more  ITS 2010»
15 years 11 months ago
Optimizing Story-Based Learning: An Investigation of Student Narrative Profiles
Narrative-centered learning environments offer significant potential for creating effective learning experiences in which students actively participate in engaging story-based prob...
Seung Y. Lee, Bradford W. Mott, James C. Lester
CSFW
2010
IEEE
15 years 10 months ago
Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
Simon Meier, Cas J. F. Cremers, David A. Basin
AVI
2010
15 years 8 months ago
Experiences with mouse control in multi-display environments
It is now increasingly common to extend private workstations with large public displays into a shared multi-display environment. Mouse-based interaction across multiple displays p...
Manuela Waldner, Dieter Schmalstieg
ECIR
2010
Springer
15 years 8 months ago
Mining Neighbors' Topicality to Better Control Authority Flow
Web pages are often recognized by others through contexts. These contexts determine how linked pages influence and interact with each other. When differentiating such interactions,...
Na Dai, Brian D. Davison, Yaoshuang Wang