Institut für Informatik
Filtern
Schlagworte
- Bluetooth (2)
- Campus Information System (2)
- University (2)
- Automated Theorem Proving Systems (1)
- Equality (1)
- Hyper Tableau Calculus (1)
- IASON (1)
- KRHyper (1)
- Knowledge Compilation (1)
- MIA (1)
Institut
- Institut für Informatik (9)
- Fachbereich 4 (7)
In this paper we describe a network for distributing personalized Information in a metropolitan area. We discuss the system architecture of our Bluetooth-based information system as well as the reasoning process that fits users" needs with potential messages. We furthermore present our findings on parallelizing Bluetooth connection setup and performance.