Sciweavers

768 search results - page 62 / 154
» Specification-Based Testing of User Interfaces
Sort
View
120
Voted
CHI
2003
ACM
16 years 2 months ago
The digital set-top box as a virtual channel provider
This research is based on the realization that the desktop computing paradigm is not appropriate for television, because it is adapted to fundamentally different user aspirations ...
Konstantinos Chorianopoulos
HCI
2011
14 years 5 months ago
Online BCI Implementation of High-Frequency Phase Modulated Visual Stimuli
Abstract. Brain computer interfaces (BCI) that use the steady-statevisual-evoked-potential (SSVEP) as neural source, offer two main advantages over other types of BCIs: shorter ca...
Danhua Zhu, Gary Garcia Molina, Vojkan Mihajlovic,...
TEI
2010
ACM
134views Hardware» more  TEI 2010»
15 years 9 months ago
Tangible lightscapes
Tangible Lightscapes is a research on interfaces mainly based on light and gestures. The aim of my exploration is to design a vocabulary of light behaviours to show people what th...
Alice V. Pintus
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 10 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
CHI
2004
ACM
16 years 2 months ago
Context photography: modifying the digital camera into a new creative tool
Context photography consists of capturing context when taking a picture, by sensing physical input in addition to light and representing it visually in real time. By developing th...
Sara Ljungblad, Maria Håkansson, Lalya Gaye,...