Current Projects
ADAPTThe objective of the research focus ADAPT is to relate, advance, combine, and challenge adaptation methods and associated methods of modeling and analyzing that are used by the communities of software engineering, programming languages, logic-based modeling, multi-agent systems, formal methods, SOA, web systems, and mobile, autonomous systems. [project page] |
|
iCityThe iCity project aims to develope a framework for ambient intelligence systems, enabling mobile devices like Smartphones or PDAs to support users with personalized, localized informations and transactions. Transactional security and privacy are major issues in terms of Bluetooth communication for concrete applications, bridging the last meter and offering a free-of-charge transmission path. [project page] |
|
|
LogAnswerThe goal of our project is the development of LogAnswer, a question-answering system that automatically infers correct replies to user questions regarding any topic. LogAnswer operates on an extensive knowledge base derived from newspaper articles and Wikipedia. While other systems with similar goals focus on shallow linguistic methods, LogAnswer uses automated reasoning in the form of our theorem prover E-KRHyper and a logic-based knowledge representation that allows the inclusion of semantics. This enables LogAnswer to derive complex answers that require a deeper understanding of the textual sources. The LogAnswer-project is funded by the DFG. [ project overview ] [ project page ] |
|
NAPAIm Projekt NAPA werden Grundlagentechnologien für multimodale (Galileo / GPS) Navigationsempfänger entwickelt, welche neue Leistungsmerkmale bezüglich ihrer Genauigkeit für die Fußgängernavigation bereitstellen. Für die genaue Streckenführung in Verbindung mit einer hochgenauen Ortsbestimmung für Personen werden in NAPA auch neue angepasste Kartenmaterialien und die zugehörigen Zertifizierungsverfahren entwickelt. Die Ergebnisse des F&E-Vorhabens NAPA werden exemplarisch in einer Demonstration nachgewiesen. [ general project page ] [ local project page ] |
Kontakt