Manual cartographic generalization is a simultaneous process. However, most automatic approaches so far have been sequential; generalization operators are applied one at a time in...
Collaborative visualization is an active area of research in computer science. Many di erent techniques and implementations have been proposed. However, most of today's syste...
Abstract: The integration of EMIS and ERP-systems has been recognized as an important step towards a holistic and long-term oriented environmental management. A number of research ...
The satisfiability problem of hybrid logics with the downarrow binder is known to be undecidable. This initiated a research program on decidable and tractable fragments. In this p...
Arne Meier, Martin Mundhenk, Thomas Schneider 0002...
The field of human-computer interaction has been widely investigated in the last years, resulting in a variety of systems used in different application fields like virtual reality...
Edoardo Ardizzone, Antonio Chella, Roberto Pirrone