Informatiktage 2010: Bonn, Germany
Informatiktage 2010 - Fachwissenschaftlicher Informatik-Kongress 19. und 20. März 2010, B-IT Bonn-Aachen International Center for Information Technology in Bonn. GI 2010 LNI 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
- Martin Friedl, Frank Nagl, Andreas Schäfer, Andre Tschentscher: Shader-Based-Image-Processor - Ein Framework für echtzeitfähige, grafikkartenbasierte Bilderverarbeitung. 223-226
- Tobias Burggraf: PhotoGet - Bilderbereitstellung einfach gemacht. 227-230
- Björn Fröhlich: Semantische Segmentierung. 231-234
- Clemens Heppner: Ein Bildequalizer zur Lehreunterstützung. 235-238
- Maximilian Hönig: Umsetzung eines 3D-Action-Adventures mit der Open Source 3D-Grafik-Engine Irrlicht. 239-242
- Benjamin Knopp: Modellbasierte Poseschätzung aus dichten Volumendaten. 243-246
- Max Marklein: Efficient Game State Management für Massive Multiplayer Online Games. 247-250
- Mathias Meissner: GPU-basiertes Volumen-Rendering mit Hilfe von Octree gestütztem Raycasting. 251-254
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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team