Arbeitsberichte, FB Informatik
Filtern
Erscheinungsjahr
- 2007 (7) (entfernen)
Schlagworte
- Bluetooth (2)
- Campus Information System (2)
- University (2)
- Automated Theorem Proving Systems (1)
- Equality (1)
- Hyper Tableau Calculus (1)
- IASON (1)
- Knowledge Compilation (1)
- MIA (1)
- Multi-robot System (1)
Institut
- Institut für Informatik (7) (entfernen)
2007,11
In this paper we describe a series of projects on location based and personalised information systems. We start wit a basic research project and we show how we came with the help of two other more application oriented project to a product. This is developed by a consortium of enterprises and it already is in use in the city of Koblenz.