21094 search results - page 153 / 4219 » An experiment using DLV-K |
156
click to vote
AAAI
1994
15 years 7 months ago
1994
This paper presents a novel approach to diagnosis which addresses the two problems - computational complexity of abduction and device models - that have prevented model-based diag...
185
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper experimentally evaluates multiagent learning algorithms playing repeated matrix games to maximize their cumulative return. Previous works assessed that Qlearning surpas...
182
click to vote
IJCSA
2007
15 years 6 months ago
2007
This article presents experiences in the automation of a testing process. The main goal is the unified testing of not only one program, but a whole family of programs. The family ...
173
click to vote
ECTEL
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper describes the design and evaluation of an adaptive museum guide for families. In the Kurio system, a mixture of embedded and tangible technology imbues the mus...
178
click to vote
ARC
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. In this paper, we take a MIPS-based open-source uniprocessor soft core, Plasma, and extend it to obtain the Beefarm infrastructure for FPGA-based multiprocessor emulation...