Informatiktage 2010 - Fachwissenschaftlicher Informatik-Kongress 19. und 20. März 2010, B-IT Bonn-Aachen International Center for Information Technology in Bonn.
LNI S-9 GI 2010, ISBN 978-3-88579-443-1
Grundlagen der Informatik
- Daniel Bruns:
Formal Semantics for the Java Modeling Language.
15-18
- Andreas Gemsa:
Schematized Visualizations of Shortest Paths in Road Networks.
19-22
Künstliche Intelligenz
- Tarek Besold:
Theory and Implementation of Multi-Context Systems Containing Logical and Sub-Symbolic Contexts of Reasoning.
23-26
- Dirk Holz:
Naive but Efficient - Using Greedy Strategies for Exploration, Inspection and Search.
27-30
- Ruth Janning:
Konstruktion von Common Sense-Ontologien durch Analyse natürlicher Sprache.
31-34
- Benedikt Kämpgen:
Deskriptives Data-Mining für Entscheidungsträger: Eine Mehrfachfallstudie.
35-38
- Felix Lindner:
Perzeptuelle Verankerung ausgedehnter Landmarken während der instruierten Navigation.
39-42
- J. Philippe Neumann, Peter Altenbernd:
Ein modularer Lösungsansatz für das University-Course-Timetabling-Problem.
43-46
- Max Schneider:
Umsetzung eines auf Potentialfeldern basierenden Pfadplanungsalgorithmus für die Jenaer Robot Soccer Engine.
47-50
Softewaretechnik
- Josef H. W. Geller:
XML Import/Export für FBD in OpenPCS.
51-55
- Christian Heinzemann:
Verifikation von Protokollverfeinerungen.
57-60
- Annette Heym:
Ausarbeitung und Umsetzung eines Ansatzes für modellbasiertes Testen in betrieblichen Informationssystemen.
61-64
- Ralf Kruthoff-Brüwer, Julius Hoyer:
Peer-to-Peer Kommunikation zwischen Multimediaanwendungen in einem Placeshiftszenario.
65-68
- Andreas Kohring:
IQ Profil: Eine MediaWiki Erweiterung zur Bewertung von Informationsqualität der Artikel.
69-72
- Nurije Ljaci:
Integration von MockUp-Konzepten in die Spezifikation grafischer Bedienoberflächen.
73-76
- Benjamin Niebuhr:
Testfallgenerierung aus UML-Modellen beschrieben in UML-Testing-Profile.
77-79
- Thomas Noack:
Systematisches Abwickeln und strukturiertes Ablegen von Qualitätszielen in der Individualsoftwareentwicklung.
81-84
- Michael Pasdziernik:
Testgetriebene Entwicklung eines Mehrphasen-Compilers.
85-88
- Stephan Prätsch:
Ein Modellprüfungsansatz für die Erreichbarkeitspüfung von Process Algebra Nets.
89-92
- Sascha Roth, Bernhard Humm, Michael Rebstock:
Context- and Domain-Aware Semantic Web Services.
93-96
- Fabian Schönfeld:
Der Physik-Engine Editor ped.
97-100
- Thomas Wagner:
Prototypische Realisierung einer Integration von Agenten und Workflows.
101-104
Mensch-Computer-Interaktion
- Sebastian Apel:
Ellipsis - Containerbasiertes Agentensystem in einer Hochverfügbarkeitsstruktur.
105-108
- Khadim Diouf:
Social Software auf PVR-Systemen.
109-112
- Markus Döhring, Alexandru Berlea, Uta Störl:
Automatically Tagging Online Community Content using Probabilistic Topic Models.
113-116
- Jens Maiero:
Image-based Tracking.
117-120
- Sarah Möckel:
CARD-PAL - Ein kartenbasierter Ansatz zur Visualisierung und Formalisierung statischer Aspekte während der Anforderungsanalyse.
121-124
- Alexander Neidhart:
Ein Konzept und Entwicklung eines Prototyps zur Auswertung von Volleyballspielen auf Grundlage der Videoaufzeichnungen.
125-128
- Tim Richlick:
Virtuelle interaktive Prospekte mit Hilfe der Nintendo Wiimote.
129-132
- Christian Rutetzki:
Integration von syntaxbasierter Nutzerunterstützung in Sketching-Editoren.
133-136
- Tilo Westermann:
I'm Home: Smartphone-enabled Gestural Interaction with Multi-Modal Smart-Home Systems.
137-140
Datenbanken und Informationssysteme
- Brigitte Boden:
Synthese von Subspace Clustering und Subgraph Mining zur Analyse von Graphen mit Knotenbeschriftungen.
141-144
- Michael Otto:
Konzeption und Implementierung einer Regression Datenbank zu Unterstützung der IP-Entwicklung.
145-148
- Christoph Terwelp:
Konstruktion und Optimierung von Diskriminierungsnetzwerken.
149-152
- Vi Hoa Tu:
Ansätze zur Integration unterschiedlicher Data Warehouse-Architekturen.
153-156
Technische Informatik
- Tobias Beier:
Berechnung von Korrelation in Echtzeit auf der Cell BE Plattform.
157-160
- Tsheten Dorji:
Decodability Model for Dynamically Adaptive Prioritization Algorithm in H.264/SVC Video Streaming.
161-164
- Dominik Franke:
Verifikation der Java-Echtzeitfähigkeit für den Einsatz in zeitkritischen Systemen.
165-168
- Stefan Hauser:
Entwurf eines generischen, applikationsspezifischen, transportgesteuerten Prozessor-Modells in VHDL und Validierung auf einem FPGA.
169-172
- Martin Kulas:
Entwurf und Realisierung eines Adapters für UniLoG zur Lastgenerierung an IP-basierten Schnittstellen.
173-176
- Roman Messmer:
Performant-Optimierung eines Echtzeit-Multimedia-Netzwerkes.
177-180
- Paveesuda Chaijiroj:
Service Brokering for Efficient Service Selection in Wireless Mesh Networks.
181-184
- Watinee Sapkaew:
Performance Analysis of Transmission Power Control in Wireless Mesh Networks.
185-187
- Christopher Schleiden, Christian Terboven:
Exploiting Object Orientation to Parallelize and Optimize C++ Applications.
189-192
Informatik in der Lebenswissenschaft
- Sebastian Bischoff:
Konzeption und Umsetzung einer RIA zur untersuchungsbegleitenden Erfassung von RNFLT-Scans und Untersuchung von Klassifikatoren für die diagnostische Unterstützung bei neurodegenerativen Erkrankungen am Beispiel der Multiplen Sklerose.
193-194
- Mathias Brink:
A Skeletal Approach for Parallel Medical Imaging.
195-198
- Markus Glaß:
Detektion von Strukturen in Fluoreszenzmikroskopiebildern.
199-202
- Robert Grimm:
Automatic Patient Pose Estimation.
203-206
- Carina Haupt:
Markush Structure Reconstruction - A Prototype for their Reconstruction from Image and Text into a Searchable, Context Sensitive Grammar based Extension of SMILES.
207-210
- Ronnie Kullick, Daniel Martini, Hans-Peter Wiedling:
Realisierung eines Clients zur Visualisierung von verteilten XML-Dokumenten für ein Informationssystem in der Landwirtschaft.
211-214
- Kerstin Lenk:
Quantitative Measurement of Regional Wall Motion in the Right Heart Ventricle.
215-218
- Matthias Schneider:
Model-Based Respiratory Motion Compensation for Image-Guided Cardiac Interventions.
219-222
Graphische Datenverarbeitung
Wirtschaftsinformatik
- Robert Elsler, Malte Horstmann, Michael Körner:
Negolook: Eine Integration clientseitiger Verhandlungsunterstützung in betriebliche Kommunikationssysteme.
259-262
- Matthias Gutbrod, Felix Schiele, Christian Zinsenhofer:
Serviceorientiertes-Modell eines TOGAF basierten Portals für Enterprise Architecture Management (EAM).
263-266
- Heike Johannes:
Retooling in der Automobilindustrie: Betriebswirtschaftliche Vorteile durch den Einsatz einer Software.
267-270
- Benedikt Langner:
PhotoBird - Entwicklung eines Corporate Designs anhand einer multimedialen Anwendung.
271-274
- Michael Urmann:
Realisierung einer Anbindung von SAP ERP zu SAP EWM auf Basis SAP SCM und Dokumentation von Technik, Systemen und Schnittstellen zur Abbildung eines ausgewählten Geschäftsprozesses.
275-278
- Doreen Wehr:
Fachliche Modellierung von multidimensionalen Datenstrukturen im Business Intelligence Umfeld einer öffentlichen Verwaltung.
279-282
- Birol Yildiz:
Ein intelligentes Benachrichtigungssystem für das Incident Management.
283-286
Sicherheit - Schutz und Zuverlässigkeit
- Thorsten Blaß:
Generic Parallel Computation of Large Garbled Circuits using JaMP.
287-290
- Michael Hanspach:
Dynamisierung von Probability-Impact-Matrizen.
291-294
- Juraj Somorovskú:
Streaming-based Processing of Secured XML Documents.
295-298
Last update Fri May 25 08:22:52 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page