Research on virtual environments has provided insights into the experience of presence (or being there) and copresence (being there together). Several dimensions of this experienc...
This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to huma...
Abstract-- In an earlier paper [3], we addressed the problem of stabilization of the rolling sphere about any desired configuration. For the controller proposed in [3], we establis...
Wireless networks often experience a significant amount of churn, the arrival and departure of nodes. In this paper we propose a distributed algorithm for single-hop networks that...
Stephan Holzer, Yvonne Anne Pignolet, Jasmin Smula...
This paper introduces a choice-based method that for the first time makes it possible to quantitatively measure regret theory, one of the most popular models of decision under unc...