🚀 go-pugleaf

This is a multi-part message in MIME format.
--------------48339E0A22DB6787E3C34DD5
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

Einladung zum Forschungskolloquium KI
-- 
### Peter Geibel 
### TU Berlin, KI, Sekr. FR 5-8, Franklinstr. 28/29, D-10587 Berlin
### Tel. +49-30-314-25491, Fax +49-30-314-24913
### http://www.cs.tu-berlin.de/~geibel, mailto:geibel@cs.tu-berlin.de
--------------48339E0A22DB6787E3C34DD5
Content-Type: message/rfc822
Content-Transfer-Encoding: 8bit
Content-Disposition: inline

Received: from ki.cs.tu-berlin.de (mki@lehar.cs.tu-berlin.de [130.149.29.42])
	by mail.cs.tu-berlin.de (8.8.8/8.8.8) with ESMTP id NAA26145;
	Mon, 4 May 1998 13:33:59 +0200 (MET DST)
Received: from mail.cs.tu-berlin.de (root@mail.cs.tu-berlin.de [130.149.17.13])
	by ki.cs.tu-berlin.de (8.8.8/8.8.5) with ESMTP id NAA05335
	for <fkki@ki.cs.tu-berlin.de>; Mon, 4 May 1998 13:32:56 +0200 (MET DST)
Received: from vivaldi.cs.tu-berlin.de (clippke@vivaldi.cs.tu-berlin.de [130.149.29.44])
	by mail.cs.tu-berlin.de (8.8.8/8.8.8) with ESMTP id NAA25731
	for <fkki@ki.cs.tu-berlin.de>; Mon, 4 May 1998 13:30:48 +0200 (MET DST)
From: Cordula Lippke <clippke@cs.tu-berlin.de>
Received: (from clippke@localhost)
	by vivaldi.cs.tu-berlin.de (8.8.8/8.8.8) id NAA28743;
	Mon, 4 May 1998 13:30:31 +0200 (MET DST)
Date: Mon, 4 May 1998 13:30:31 +0200 (MET DST)
Message-Id: <199805041130.NAA28743@vivaldi.cs.tu-berlin.de>
To: fkki@ki.cs.tu-berlin.de
Subject: KOLLOQUIUM




--------------------------------------------------------------------------

					   	      K        K  I
F O R S C H U N G S K O L L O Q U I U M		      KK     KK   II
						      KKK  KKK    III
im Sommersemester 1995				      KKK KKK     III
						      KKKKKK      III
						      KKK  KKK    III
						      KKK   KKK   III
						      KK      KK   II
						      K         K   I
Dienstag, den 5.  Mai 1998
16.00 - 18.00 Uhr
Raum  FR 6007
--------------------------------------------------------------------------

PROGRAMMIEREN DURCH ANALOGES SCHLIESSEN: ZWEI ALGORITHMEN ZUR ADAPTION 
REKURSIVER PROGRAMMSCHEMATA - Diplomarbeit

Ren'e Mercy

Es wird ein Ansatz zur Synthese von Schemata funktionaler Programme durch
analoges Schlie"sen vorgestellt.  Gleichzeitig wird untersucht, welchen 
Bedingungen diese Schemata erf"ullen m"ussen, um eine erfolgreiche Synthese
zu gew"ahrleisten.

Mittels einem strukturellen "Ahnlichkeitsma"s von B"aumen werden Regeln
zur Transformation von Termb"aumen der verwendeten Schemata erzeugt.
Diese Regeln werden nun f"ur den
Transfer eines Schemas in ein anderes Schema verwendet. Von Interesse ist 
hier insbesondere der zwischen den Schemata bestehende Morphismus, der durch
die Transformationsregeln ausgedr"uckt wird. Untersucht wird hierbei, 
welchen Einfluss dieser Morphismus auf den Transfererfolg hat.

--------------------------------------------------------------------------

TU Berlin
FG Methoden der K�nstlichen Intelligenz
Franklinstr. 28/29, FR 5-8
10587 Berlin

--------------------------------------------------------------------------




--------------48339E0A22DB6787E3C34DD5--