Sciweavers

97 search results - page 14 / 20
» On interface expressivity: A player based study
Sort
View
CHI
2006
ACM
14 years 8 months ago
Increasing user decision accuracy using suggestions
The internet presents people with an increasingly bewildering variety of choices. Online consumers have to rely on computerized search tools to find the most preferred option in a...
Pearl Pu, Paolo Viappiani, Boi Faltings
MIR
2006
ACM
172views Multimedia» more  MIR 2006»
14 years 1 months ago
Combining audio-based similarity with web-based data to accelerate automatic music playlist generation
We present a technique for combining audio signal-based music similarity with web-based musical artist similarity to accelerate the task of automatic playlist generation. We demon...
Peter Knees, Tim Pohle, Markus Schedl, Gerhard Wid...
AIEDU
2008
112views more  AIEDU 2008»
13 years 6 months ago
Be Brief, And They Shall Learn: Generating Concise Language Feedback for a Computer Tutor
To investigate whether more concise Natural Language feedback improves learning, we developed two Natural Language generators (DIAG-NLP1 and DIAG-NLP2), to provide feedback in an I...
Barbara Di Eugenio, Davide Fossati, Susan M. Halle...
IUI
2004
ACM
14 years 1 months ago
Designing example-critiquing interaction
In many practical scenarios, users are faced with the problem of choosing the most preferred outcome from a large set of possibilities. As people are unable to sift through them m...
Boi Faltings, Pearl Pu, Marc Torrens, Paolo Viappi...
ESOP
2008
Springer
13 years 9 months ago
Verification of Higher-Order Computation: A Game-Semantic Approach
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
C.-H. Luke Ong