Datum | Thema | Vortragende | Vortragsfolien |
---|---|---|---|
17.10.2005 | Efficient XML Processing with Tree Automata | Alexandru Berlea | |
27.10.2005 | XML Type-Checking | Thomas Perst | |
07.11.2005 | Inferring Polynomial Invariants with Polyinvar | Michael Petter | pdf, swf |
14.11.2004 | Automata for Associative-Commutative Operators | Neeraj Verma | |
21.11.2004 | Objekt-Erkennung und Objekt-Lokalisation mit neuornalen Netzen | Melanie Dietz |