Sciweavers

1687 search results - page 108 / 338
» Interactive Computer Ethics Explorer
Sort
View
ATVA
2008
Springer
139views Hardware» more  ATVA 2008»
14 years 12 months ago
Compositional Verification for Component-Based Systems and Application
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
Saddek Bensalem, Marius Bozga, Joseph Sifakis, Tha...
CHI
2011
ACM
14 years 1 months ago
Investigating Phicon feedback in non-visual tangible user interfaces
We investigated ways that users could interact with Phicons in non-visual tabletop tangible user interfaces (TUIs). We carried out a brainstorming and rapid prototyping session wi...
David K. McGookin, Stephen A. Brewster
HAPTICS
2008
IEEE
14 years 10 months ago
Analyzing Perceptual Representations of Complex, Parametrically-Defined Shapes Using MDS
Abstract. In this study we show that humans are able to form a perceptual space from a complex, three-dimensional shape space that is highly congruent to the physical object space ...
Nina Gaißert, Christian Wallraven, Heinrich ...
VRST
2006
ACM
15 years 3 months ago
Mixed reality: are two hands better than one?
For simulating hands-on tasks, the ease of enabling two-handed interaction with virtual objects gives Mixed Reality (MR) an expected advantage over Virtual Reality (VR). A user st...
Aaron Kotranza, John Quarles, Benjamin Lok
CHI
2009
ACM
15 years 10 months ago
Whole body interaction
Very large interactive wall displays do not lend themselves to use with traditional interaction modalities such as mice and keyboards. It is necessary that we develop new interact...
David England, Eva Hornecker, Chris Roast, Pablo R...