700 search results - page 103 / 140 » Combinations of Stit and Actions |
IFIP
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we propose a formalization of probable innocence, a notion of probabilistic anonymity that is associated to “realistic” protocols such as Crowds. We analyze crit...
IVA
2005
Springer
14 years 1 months ago
2005
Springer
We present an interactive installation with life-size virtual agents that inform, entertain, encourage, and assist visitors during the process of building a car. It will be install...
JSAI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
MIRRORBOT
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. A biologically inspired computational model of rodent representation–based (locale) navigation is presented. The model combines visual input in the form of realistic tw...
VMCAI
2005
Springer
14 years 1 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...