21094 search results - page 205 / 4219 » An experiment using DLV-K |
174
Voted
HRI
2007
ACM
15 years 10 months ago
2007
ACM
It is often desirable for a human to manage multiple robots. Autonomy is required to keep workload within tolerable ranges, and dynamically adapting the type of autonomy may be us...
196
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Reference architectures provide major guidelines for the structure of a class of information systems. Because of their fundamental role, reference architectures have to be of high ...
166
click to vote
BCSHCI
2007
15 years 8 months ago
2007
Contemporary family life can be very stressful and many families are often busy and separated by time or distance. Physical separation makes it difficult to maintain an awareness ...
185
click to vote
TREC
2008
15 years 8 months ago
2008
In this paper, we report our experiments in the TREC 2008 Relevance Feedback Track. Our main goal is to study a novel problem in feedback, i.e., optimization of the balance of the...
182
click to vote
ENTCS
2006
15 years 6 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...