21094 search results - page 72 / 4219 » An experiment using DLV-K |
311
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
138
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
We present a game for children, developed to inform children about global warming. The main focus is the evaluation of children's user experience with easy to use methods. We...
175
click to vote
INTERACT
2003
15 years 7 months ago
2003
Abstract: Watching sports is a favorite pastime of many consumers. A more nomadic life style makes the traditional spectating venues unavailable. Designing a sports spectator exper...
160
click to vote
CIG
2006
IEEE
16 years 6 days ago
2006
IEEE
Abstract— This paper describes experiments using reinforcement learning techniques to compute pattern urgencies used during simulations performed in a Monte-Carlo Go architecture...
160
click to vote
NORDICHI
2006
ACM
16 years 3 days ago
2006
ACM
This paper describes an alternative form of interaction for mobile devices using crossmodal output. The aim of our work is to investigate the equivalence of audio and tactile disp...