Abstract—The recent boom in wireless communications has led to a wide range of new applications. Wireless positioning is an emerging technology which can provide accurate locatio...
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
Marcello Balduccini, Michael Gelfond, Monica Nogue...
Media research has shown that people enjoy watching television as a part of socializing in groups. However, many constraints in daily life limit the opportunities for doing so. Th...
Nicolas Ducheneaut, Robert J. Moore, Lora Oehlberg...
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...
In this paper we introduce the design and development of the Learning Cube as a novel tangible learning appliance. Using the common shape of a cube we implemented a general learnin...
Lucia Terrenghi, Matthias Kranz, Paul Holleis, Alb...