21094 search results - page 72 / 4219 » An experiment using DLV-K |
210
Voted
CADE
2011
Springer
14 years 24 days 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...
89
Voted
ACMACE
2007
ACM
15 years 4 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...
108
Voted
INTERACT
2003
15 years 2 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...
99
Voted
CIG
2006
IEEE
15 years 7 months 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...
100
click to vote
NORDICHI
2006
ACM
15 years 6 months 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...