Sciweavers

1316 search results - page 68 / 264
» The Jam-O-Drum Interactive Music System: A Study in Interact...
Sort
View
CHI
2010
ACM
15 years 2 months ago
What's your idea?: a case study of a grassroots innovation pipeline within a large software company
Establishing a grassroots innovation pipeline has come to the fore as strategy for nurturing innovation within large organizations. A key element of such pipelines is the use of a...
Brian P. Bailey, Eric Horvitz
VL
1992
IEEE
192views Visual Languages» more  VL 1992»
15 years 1 months ago
Graphic Object Layout with Interactive Genetic Algorithms
Automatic graphic objectlayout methods havelong been studied in many application areas in which graphic objects should be laid out to satisfy the constraints specific to each appl...
Toshiyuki Masui
AAMAS
2010
Springer
14 years 10 months ago
Teaching a pet-robot to understand user feedback through interactive virtual training tasks
Abstract In this paper, we present a human-robot teaching framework that uses "virtual" games as a means for adapting a robot to its user through natural interaction in a...
Anja Austermann, Seiji Yamada
ICFP
2009
ACM
15 years 10 months ago
Effective interactive proofs for higher-order imperative programs
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
Adam J. Chlipala, J. Gregory Malecha, Greg Morrise...
ICCHP
2010
Springer
15 years 1 months ago
Design and Development of Spoken Dialog Systems Incorporating Speech Synthesis of Viennese Varieties
Abstract. This paper describes our work on the design and development of a spoken dialog system, which uses synthesized speech of various different Viennese varieties. In a previo...
Michael Pucher, Friedrich Neubarth, Dietmar Schabu...