Sciweavers

3544 search results - page 425 / 709
» Rethinking the Presentation of Results from Web Search
Sort
View
UIST
2006
ACM
16 years 18 days ago
RecipeSheet: creating, combining and controlling information processors
Many tasks require users to extract information from diverse sources, to edit or process this information locally, and to explore how the end results are affected by changes in th...
Aran Lunzer, Kasper Hornbæk
MM
2009
ACM
152views Multimedia» more  MM 2009»
16 years 1 months ago
DAVVI: a prototype for the next generation multimedia entertainment platform
In this demo, we present DAVVI, a prototype of the next generation multimedia entertainment platform. It delivers multi-quality video content in a torrent-similar way like known s...
Dag Johansen, Håvard D. Johansen, Tjalve Aar...
AROBOTS
2007
87views more  AROBOTS 2007»
15 years 6 months ago
Rescuing interfaces: A multi-year study of human-robot interaction at the AAAI Robot Rescue Competition
This paper presents results from three years of studying human-robot interaction in the context of the AAAI Robot Rescue Competition. We discuss our study methodology, the competi...
Holly A. Yanco, Jill L. Drury
MTV
2006
IEEE
138views Hardware» more  MTV 2006»
16 years 20 days ago
Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
Marc Herbstritt, Bernd Becker, Christoph Scholl
ICML
2009
IEEE
16 years 7 months ago
Interactively optimizing information retrieval systems as a dueling bandits problem
We present an on-line learning framework tailored towards real-time learning from observed user behavior in search engines and other information retrieval systems. In particular, ...
Yisong Yue, Thorsten Joachims