Sciweavers

4035 search results - page 598 / 807
» Useless Actions Are Useful
Sort
View
TYPES
1994
Springer
15 years 11 months ago
A Concrete Final Coalgebra Theorem for ZF Set Theory
A special final coalgebra theorem, in the style of Aczel's [2], is proved within standard Zermelo-Fraenkel set theory. Aczel's AntiFoundation Axiom is replaced by a varia...
Lawrence C. Paulson
ATAL
2007
Springer
15 years 11 months ago
Strategy recommender agents (ALEX) - the methodology
Agents for Alignment into strategy Experience (ALEX agents), a type of recommender agent (RA), are proposed here as a means of helping employees to perform tasks in line with the ...
Ronald Uriel Ruiz Ordóñez, Josep Llu...
ATAL
2007
Springer
15 years 11 months ago
Interactive dynamic influence diagrams
This paper extends the framework of dynamic influence diagrams (DIDs) to the multi-agent setting. DIDs are computational representations of the Partially Observable Markov Decisio...
Kyle Polich, Piotr J. Gmytrasiewicz
SIGIR
2010
ACM
15 years 11 months ago
Query log analysis in the context of information retrieval for children
In this paper we analyze queries and sessions intended to satisfy children’s information needs using a large-scale query log. The aim of this analysis is twofold: i) To identify...
Sergio Duarte Torres, Djoerd Hiemstra, Pavel Serdy...
GRAPHITE
2007
ACM
15 years 11 months ago
An evaluation of virtual lenses for object selection in augmented reality
This paper reports the results of an experiment to compare three different selection techniques in a tabletop tangible augmented reality interface. Object selection is an importan...
Julian Looser, Mark Billinghurst, Raphael Grasset,...