West StartUp "Kreuzverweis" moves on with EXIST II
Informatik Kolloquium
Ein intelligenter Ordner, der automatisch aktuelle Termine zum Informatikkolloquium sammelt.
| Title | Start Date | Description |
|---|---|---|
Bildbasierte Beleuchtung Virtueller 3D-Objekte
|
Jun 22, 2011 04:00 PM | Vortrag im Kolloquium Informatik von Konrad Kölzer |
|
Vision for multipurpose intervention missions with an Autonomous Underwater Vehicle (AUV)
|
Jun 14, 2011 04:00 PM | Vortrag im Kolloquium Informatik von Gabriel Oliver, Systems, Robotics and Vision Group, Universitat de les Illes Balears |
|
Machines that act like persons
|
May 25, 2011 04:00 PM | Vortrag im Kolloquium Informatik von Prof. Dr. Ipke Wachsmuth, AG Wissensbasierte Systeme, Universität Bielefeld |
|
Flexible Fehlertoleranzmethoden für eingebettete Systeme
|
May 20, 2011 02:00 PM | Vortrag im Kolloquium Informatik von Dr. Michael Engel, TU Dortmund, Fakultät für Informatik |
|
Automatic Verification of Processes Using Formulas of an Interval Logic
|
Mar 10, 2011 04:15 PM | Vortrag im Kolloquium Informatik von Prof. Dr. Manuel Capel Tunon, Universidad de Granada |
|
Automatische Lenkungen zur spurtreuen Führung langer Fahrzeuge
|
Oct 22, 2010 02:30 PM | Vortrag im Kolloquium Informatik von Dr. Sebastian Wagner (IVI) |
|
Delta-oriented Development of Software Product Lines
|
May 21, 2010 02:15 PM | Vortrag im Kolloquium Informatik von Dr.-Ing. Ina Schaefer |
|
Automotive Software Architecture: Migration Challenges from an Event-Triggered to a Time-Triggered Communication Scheme
|
Feb 12, 2010 03:15 PM | Vortrag im Kolloquium Informatik von Eric Armengaud |
|
Verifikation von funktionalen Testfällen im Automotive-Bereich
|
Dec 08, 2009 04:15 PM | Vortrag von Sebastian Thiel im Rahmen der Aufnahme in den Doktoranden-Status Hardware-in-the-Loop Funktionserprobung Testautomatisierungsmethodik und -tooli... |
|
Varianten in der Automobilelektronikentwicklung – Herausforderungen und Lösungsansätze
|
Nov 20, 2009 02:15 PM | Vortrag im Kolloquium Informatik von Dr. Matthias Weber |
|
Automatic behavior generation techniques for conversational characters in
computer games
|
Nov 18, 2009 04:15 PM | Vortrag von Martin Stöcker |
|
Das Bussystem FlexRay im Automobil – ein Schritt vorwärts?
|
Nov 06, 2009 02:15 PM | Vortrag von Dr. Martin Horauer, Fachhochschule Technikum Wien |
|
Mixed Reality Factory Planning
|
Oct 30, 2009 04:15 PM | Vortrag von Fabian Scheer |
|
User Assistance for Spreadsheets; A Case Study for Semantic Illustration
|
Sep 24, 2009 02:15 PM | Vortrag von Dr. Michael Kohlhase, Jacobs University Bremen |
|
Agile Development Using Example Embedding
|
Sep 02, 2009 04:15 PM | Vortrag von Prof. Dr. Amiram Yehudai, Tel Aviv University |
|
FOAF+SSL: creating a global decentralised authentication protocol
|
Aug 05, 2009 04:15 PM | Vortrag von Henry Story, SUN Microsystems |
|
A Novel Architecture for Situation Awareness Systems
|
Jul 29, 2009 04:15 PM | Vortrag von Peter Baumgartner, NICTA, Canberra, Australia (Joint work with Franz Baader, Andreas Bauer, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, D... |
|
Modellbasierte Entwicklung von eingebetteter Software
|
Jul 17, 2009 02:15 PM | Vortrag von Dr. Bernhard Schätz, Fakultät für Informatik, TU München, Boltzmannstr. 3, 85748 Garching |
|
TPTP, TSTP, CASC, etc. - Automated Reasoning in Practice
|
Mar 11, 2009 04:00 PM | Geoff Sutcliffe, University of Miami, Department of Computer Science (Director of Undergraduate Studies) |
|
Finding all the justifications for DL-based entailments
|
Feb 26, 2009 11:00 AM | Dr. Guilin Qi, Univiersität Karlsruhe - Vortrag im Oberseminar ISWeb |