Table of Contents

• Formal Semantics for the Java Modeling LanguageDaniel Bruns. 15-18
• Schematized Visualizations of Shortest Paths in Road NetworksAndreas Gemsa. 19-22
• Theory and Implementation of Multi-Context Systems Containing Logical and Sub-Symbolic Contexts of ReasoningTarek Besold. 23-26
• Naive but Efficient - Using Greedy Strategies for Exploration, Inspection and SearchDirk Holz. 27-30
• Konstruktion von Common Sense-Ontologien durch Analyse natürlicher SpracheRuth Janning. 31-34
• Deskriptives Data-Mining für Entscheidungsträger: Eine MehrfachfallstudieBenedikt Kämpgen. 35-38
• Perzeptuelle Verankerung ausgedehnter Landmarken während der instruierten NavigationFelix F. X. Lindner. 39-42
• Ein modularer Lösungsansatz für das University-Course-Timetabling-ProblemJ. Philippe Neumann, Peter Altenbernd. 43-46
• Umsetzung eines auf Potentialfeldern basierenden Pfadplanungsalgorithmus für die Jenaer Robot Soccer EngineMax Schneider. 47-50
• Verifikation von ProtokollverfeinerungenChristian Heinzemann. 57-60
• Peer-to-Peer Kommunikation zwischen Multimediaanwendungen in einem PlaceshiftszenarioRalf Kruthoff-Brüwer, Julius Hoyer. 65-68
• IQ Profil: Eine MediaWiki Erweiterung zur Bewertung von Informationsqualität der ArtikelAndreas Kohring. 69-72
• Testfallgenerierung aus UML-Modellen beschrieben in UML-Testing-ProfileBenjamin Niebuhr. 77-79
• Systematisches Abwickeln und strukturiertes Ablegen von Qualitätszielen in der IndividualsoftwareentwicklungThomas Noack. 81-84
• Context- and Domain-Aware Semantic Web ServicesSascha Roth, Bernhard Humm, Michael Rebstock. 93-96
• Der Physik-Engine Editor pedFabian Schönfeld. 97-100
• Prototypische Realisierung einer Integration von Agenten und WorkflowsThomas Wagner. 101-104
• Ellipsis - Containerbasiertes Agentensystem in einer HochverfügbarkeitsstrukturSebastian Apel. 105-108
• Social Software auf PVR-SystemenKhadim Diouf. 109-112
• Automatically Tagging Online Community Content using Probabilistic Topic ModelsM. Döhring, Alexandru Berlea, Uta Störl. 113-116
• Image-based TrackingJens Maiero. 117-120
• Virtuelle interaktive Prospekte mit Hilfe der Nintendo WiimoteTim Richlick. 129-132
• Integration von syntaxbasierter Nutzerunterstützung in Sketching-EditorenChristian Rutetzki. 133-136
• I m Home: Smartphone-enabled Gestural Interaction with Multi-Modal Smart-Home SystemsTilo Westermann. 137-140
• Synthese von Subspace Clustering und Subgraph Mining zur Analyse von Graphen mit KnotenbeschriftungenBrigitte Boden. 141-144
• Konzeption und Implementierung einer Regression Datenbank zu Unterstützung der IP-EntwicklungMichael Otto. 145-148
• Konstruktion und Optimierung von DiskriminierungsnetzwerkenChristoph Terwelp. 149-152
• Berechnung von Korrelation in Echtzeit auf der Cell BE PlattformTobias Beier. 157-160
• Decodability Model for Dynamically Adaptive Prioritization Algorithm in H.264/SVC Video StreamingTsheten Dorji. 161-164
• Verifikation der Java-Echtzeitfähigkeit für den Einsatz in zeitkritischen SystemenDominik Franke. 165-168
• Entwurf eines generischen, applikationsspezifischen, transportgesteuerten Prozessor-Modells in VHDL und Validierung auf einem FPGAStefan Hauser. 169-172
• Entwurf und Realisierung eines Adapters für UniLoG zur Lastgenerierung an IP-basierten SchnittstellenMartin Kulas. 173-176
• Performant-Optimierung eines Echtzeit-Multimedia-NetzwerkesRoman Messmer. 177-180
• Performance Analysis of Transmission Power Control in Wireless Mesh NetworksWatinee Sapkaew. 185-187
• Exploiting Object Orientation to Parallelize and Optimize C++ ApplicationsChristopher Schleiden, Christian Terboven. 189-192
• 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 SkleroseSebastian Bischoff. 193-194
• A Skeletal Approach for Parallel Medical ImagingMathias Brink. 195-198
• Detektion von Strukturen in FluoreszenzmikroskopiebildernMarkus Glaß. 199-202
• Automatic Patient Pose EstimationRobert Grimm 0002. 203-206
• Markush Structure Reconstruction - A Prototype for their Reconstruction from Image and Text into a Searchable, Context Sensitive Grammar based Extension of SMILESCarina Haupt. 207-210
• Realisierung eines Clients zur Visualisierung von verteilten XML-Dokumenten für ein Informationssystem in der LandwirtschaftRonnie Kullick, Daniel Martini, Hans-Peter Wiedling. 211-214
• Quantitative Measurement of Regional Wall Motion in the Right Heart VentricleKerstin Lenk. 215-218
• Model-Based Respiratory Motion Compensation for Image-Guided Cardiac InterventionsMatthias Schneider. 219-222
• Shader-Based-Image-Processor - Ein Framework für echtzeitfähige, grafikkartenbasierte BilderverarbeitungMartin Friedl, Frank Nagl, Andreas Schäfer 0003, Andre Tschentscher. 223-226
• PhotoGet - Bilderbereitstellung einfach gemachtTobias Burggraf. 227-230
• Semantische SegmentierungBjörn Fröhlich. 231-234
• Modellbasierte Poseschätzung aus dichten VolumendatenBenjamin Knopp. 243-246
• Konzeption und Umsetzung eines 3D-BildbetrachtersFrank Nagl, Jonas Röse. 255-258
• Negolook: Eine Integration clientseitiger Verhandlungsunterstützung in betriebliche KommunikationssystemeRobert Elsler, Malte Horstmann, Michael Körner. 259-262
• Serviceorientiertes-Modell eines TOGAF basierten Portals für Enterprise Architecture Management (EAM)Matthias Gutbrod, Felix Schiele, Christian Zinsenhofer. 263-266
• Retooling in der Automobilindustrie: Betriebswirtschaftliche Vorteile durch den Einsatz einer SoftwareHeike Johannes. 267-270
• Generic Parallel Computation of Large Garbled Circuits using JaMPThorsten Blaß. 287-290
• Dynamisierung von Probability-Impact-MatrizenMichael Hanspach. 291-294