10.12.2012 Aufrufe

40 Jahre Informatik in München - Fakultät für Informatik - TUM

40 Jahre Informatik in München - Fakultät für Informatik - TUM

40 Jahre Informatik in München - Fakultät für Informatik - TUM

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

SUTTNER, CHRISTIAN: Parallelization of Search-based Systems by Static<br />

Partition<strong>in</strong>g with Slackness. Jessen – Bode 9.3.1995<br />

HEINLE, WOLFGANG: Expressivity and Def<strong>in</strong>ability <strong>in</strong> Extended Modal<br />

Languages. Bauer – Wirs<strong>in</strong>g (LMU) 3.4.1995<br />

BONK, THOMAS: E<strong>in</strong> rekursiver Algorithmus zur adaptiven numerischen<br />

Quadratur mehrdimensionaler Funktionen. Zenger – Bode 6.4.1995<br />

KNIRSCH, PETER: Kaskadenrekursion <strong>in</strong> verteilten Systemen.<br />

Paul – Schlichter 28.4.1995<br />

ELDRACHER, MARTIN: Planung k<strong>in</strong>ematischer Trajektorien <strong>für</strong> Manipulatoren<br />

mit Hilfe von Subzielen und neuronalen Netzen.<br />

Brauer – Rojas (Halle) 5.5.1995<br />

NAZARETH, DIETER: A Polymorphic Sort System for Axiomatic Specification<br />

Languages. Nipkow – Broy 18.5.1995<br />

DODENHÖFT,DIETER: Hybride Wissensrepräsentation durch enge Kopplung<br />

e<strong>in</strong>es frame- und regelbasierten Formalismus.<br />

Siegert – Jessen 22.5.1995<br />

SEGNER, PETER: E<strong>in</strong> betreibergerechtes View-Konzept <strong>für</strong> das Netz- und<br />

Systemmanagement. Heger<strong>in</strong>g – Schlichter 8.6.1995<br />

FACCHI, CHRISTIAN: Methodik zur formalen Spezifikation des ISO/OSI<br />

Schichtenmodells. Broy – Jessen 14.6.1995<br />

STÖHR,PETER: 3D-Objekterkennung basierend auf 2D-Schnittberechnungen<br />

zum E<strong>in</strong>satz <strong>in</strong> der Robotik. Siegert – Levi (Stuttgart) 21.6.1995<br />

HETTLER,RUDOLF: Entity/Relationship-Datenmodelierung <strong>in</strong> axiomatischen<br />

Spezifikationssprachen. Broy – Mitschang 26.6.1995<br />

SCHOLZ, ANDREAS: Modulare und kompositionale Verifikation von zustandsendlichen<br />

Systemen. Paul – Mayr 26.7.1995<br />

EDER, KLAUS: Repräsentation temporaler Information <strong>in</strong> künstlichen<br />

neuronalen Netzen. Brauer – Gross (Ilmenau) 28.7.1995<br />

RICHTER, SILKE: E<strong>in</strong> mehrfach adaptierendes, stabiles Modell zur Analyse<br />

von Straßenszenen.<br />

Radig – Niemann (Erlangen-Nürnberg) 28.7.1995<br />

SCHUSTER, ROLF: Objektverfolgung <strong>in</strong> Farbbildfolgen.<br />

Radig – Kübler (ETH Zürich) 14.8.1995<br />

PFLUG, VOLKMAR: Graphenbasierte On-L<strong>in</strong>e-Erkennung fließender<br />

Handschrift. Radig – Lang (EI) 30.8.1995<br />

KOLLAND,MARKUS: Generische Unterstützung von Information Shar<strong>in</strong>g<br />

im Kontext computer-unterstützter Gruppenarbeit.<br />

Schlichter – Geihs (Frankfurt a. M.) 6.10.1995<br />

AUE, ALFRED: Bus<strong>in</strong>ess Processes as a Concept for System-Analysis<br />

and Specification. Broy – Schlichter 25.10.1995<br />

412

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!