Sciweavers

488 search results - page 40 / 98
» Interaction design in India: past, present and future
Sort
View
TEI
2009
ACM
115views Hardware» more  TEI 2009»
15 years 4 months ago
Living interfaces: the thrifty faucet
In this paper, we present a novel type of persuasive home appliance: A thrifty water faucet. Through a servo motor construction, it is enabled to move and behave in life-like mann...
Jonas Togler, Fabian Hemmert, Reto Wettach
TABLEAUX
2007
Springer
15 years 3 months ago
A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
Linda Buisman, Rajeev Goré
LOGCOM
2010
136views more  LOGCOM 2010»
14 years 8 months ago
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
Bi-intuitionistic logic is the union of intuitionistic and dual intuitionistic logic, and was introduced by Rauszer as a Hilbert calculus with algebraic and Kripke semantics. But ...
Rajeev Goré, Linda Postniece
BCSHCI
2009
14 years 7 months ago
From tele presence to human absence: the pragmatic construction of the human in communications systems research
This paper reflects on the views of the human that were oriented to in two distinct research labs and which have been used to populate an inventive landscape over the past twenty ...
R. Harper
ACMDIS
2006
ACM
15 years 3 months ago
Inspiration card workshops
In this paper we start from the position that sources of inspiration play an important role in the design process albeit in a frequently intangible way. We present the Inspiration...
Kim Halskov, Peter Dalsgård