Sciweavers

34181 search results - page 254 / 6837
» The Computer System GRAPHOGRAPH
Sort
View
93
Voted
CVPR
2005
IEEE
16 years 1 months ago
Computer Vision for Music Identification
We describe how certain tasks in the audio domain can be effectively addressed using computer vision approaches. This paper focuses on the problem of music identification, where t...
Yan Ke, Derek Hoiem, Rahul Sukthankar
CHI
2008
ACM
15 years 11 months ago
Human-aided computing: utilizing implicit human processing to classify images
In this paper, we present Human-Aided Computing, an approach that uses an electroencephalograph (EEG) device to measure the presence and outcomes of implicit cognitive processing,...
Pradeep Shenoy, Desney S. Tan
CHI
2004
ACM
15 years 11 months ago
Labeling images with a computer game
We introduce a new interactive system: a game that is fun and can be used to create valuable output. When people play the game they help determine the contents of images by provid...
Luis von Ahn, Laura Dabbish
86
Voted
CHI
2004
ACM
15 years 11 months ago
Breaking the book: translating the chemistry lab book into a pervasive computing lab environment
The UK e-Science programme is relying on the evolution of the paper lab book into a pervasive data gathering lab system. To date take up of existing commercial or research lab boo...
Monica M. C. Schraefel, Gareth V. Hughes, Hugo R. ...
ICCAD
2007
IEEE
107views Hardware» more  ICCAD 2007»
15 years 8 months ago
Computation of minimal counterexamples by using black box techniques and symbolic methods
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
Tobias Nopper, Christoph Scholl, Bernd Becker