The SMIL 2.0 Language profile support several mechanisms for controlling interactivity in a SMIL 2.0 presentation. Unfortunately, the SMIL standard testset does not verify complex...
— Home networking is the collection of elements that process, manage, transport and store information, enabling the connection and integration of multiple computing, control, mon...
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...
The capability to support spatial perception plays an important role in developing material for astronomy education. Considering this, we developed a novel tangible user interface...
Jun Yamashita, Hideaki Kuzuoka, Chiaki Fujimon, Mi...
In this paper we introduce the TessalTable, a collaborative play system for learning about tessellations and symmetry through augmented pattern blocks. Children use tiles to pick ...