Symmetry is an important property of objects and is exhibited in different forms e.g., bilateral, rotational, etc. This paper presents an algorithm for computing the bilateral sym...
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
This paper describes preliminary results of research on the perception and usability of interfaces projected onto realworld objects. Using a projector setup that enables us to com...
Mark Podlaseck, Claudio S. Pinhanez, Nancy Alvarad...
We report on an ongoing project which aims at improving the eectiveness of retrieval and accessibility of learning object within learning management systems and learning object re...
Lothar Lemnitzer, Cristina Vertan, Alex Killing, K...
Ocsigen is a framework for programming highly dynamic web sites in Objective Caml. It allows to program sites as Ocaml applications and introduces new concepts to take into accoun...