Informatik (RPTU in Kaiserslautern) (Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau) - Forschungsprojekte

INRECA-II: Information and Knowledge Reengineering for Reasoning from Cases
Richter, Michael M.; (1998 - 1999)

Cyclops-Mammalyzer
Richter, Michael M.; 

Simulation eines Brammenlagers
Puttkamer, Ewald von; (1996 - 1997)

CAD-gerechte Oberflächen- und Volumen-Rekonstruktion komplexer Objekte aus einer Menge von unstrukturierten Oberflächenpunkten
Brunnett, Guido; (1995 - 1998)

Lernen von Suchheuristiken beim Theorembeweisen
Avenhaus, Jürgen; (1996 - 1998)

Optimierte Werkzeugsteuerung durch nichtlineare Modellierungsmethoden
Brunnett, Guido; (1997 - 2000)

SENSOR: Supporting Software Engineering Processes by Object-Relational Database Technology
Härder, Theo; (1998 - 2003)

Analyse und Design neuronaler Netze mittels kognitiver Modelle zum Zwecke des praktischen Einsatzes
Richter, Michael M.; (1997 - 2000)

Erfassung, Analyse und Synthese euthopometrischer Körperbaudaten zur Automatisierung von Design- und Fertigungsprozessen bei Individualprodukten
Puttkamer, Ewald von; (1995 - 1998)

WEBSELL
Richter, Michael M.; (1998 - 2000)

Modellierung und Steuerung des "Intelligent Workplace" der Carnegie University
Zimmermann, Gerhard; (1997)

RITA - Rechnergestützte Informationssysteme für tecnische Anwendungen - Modellierung, Workflow-Management, Client/Server-Architekturen
Härder, Theo; (1996 - 2001)

Flexible Planung und Steuerung von Software-Entwicklungsprozessen
Richter, Michael M.; (1995 - 2000)

Beyond IP (BIP)
Müller, Paul; (1997 - 1999)

Thematic Network on Climbing and Walking Robots (CLAWAR)
Puttkamer, Ewald von; (1998 - 2001)

2. Förderperiode des Sonderforschungsbereichs 501 "Entwicklung großer Systeme mit generischen Methoden"
Nehmer, Jürgen; (1998 - 2000)

Datenaustausch
Hagen, Hans; (1997)

Mobile Computersysteme (SPP "Mobilkommunikation")
Nehmer, Jürgen; (1996 - 2000)

Anthropometrisch basierte Modellierung eines virtuellen Menschen für die realistische Visualisierung und Animation in technischen Anwendungen
Hagen, Hans; (1997 - 1998)

Fallbasiertes Schließen zur Wiederverwendung elektronische Schaltungen über das Internet (READEE)
Richter, Michael M.; (1997 - 2001)

Bibliography of Mathematical Logic and Related Fields
Lenski, Wolfgang; (1989 - 2004)

Protokollimplementierung mit Estelle - Vom Prototypen zu effizientem Kode
Gotzhein, Reinhard; (1996 - 1998)

Pilotprojekt Viper: Visualisierung parametrisch editierbarer Raumkomponenten
Hagen, Hans; (1997 - 1999)

Temporallogische Programmierung
Mayer, Otto; (1996 - 1998)

VICOM
Hagen, Hans; (1997 - 1999)

Entwicklung des hierarchischen parallelen Termersetzungssystems Teamwork-PaReDux
Avenhaus, Jürgen; 

PARIS: Plan Abstraction and Refinement in an Integrated System
Richter, Michael M.; (ab 1992)

Konvergente Reduktionssysteme für Monoide und Gruppen
Madlener, Klaus; (1998 - 2000)

Visualisierung nichtlinearer Vektorfeldtopologie
Hagen, Hans; (1998 - 2000)

Siemens CAMPUS 1
Müller, Paul; (1998 - 2001)

4D-Ultraschall-Rekonstruktion des Herzens bei freier Schallkopfpositionierung und Anlotung aus mehreren Richtungen
Hagen, Hans; (1999 - 2000)

Kooperation von heterogenen Suchmechanismen
Denzinger, Jörg; (1999 - 2001)

Lernen von Patternsprachen und verallgemeinerten Patternsprachen
Wiehagen, Rolf; (1999 - 2001)

Siemens CAMPUS; Projekt "Hello"
Müller, Paul; (1998 - 2001)

Skallierbare, automatisierte Feldanalyse und -visualisierung (SAF)
Hagen, Hans; (1999 - 2001)

Dreidimensionale Vermessung großer Objekte
Puttkamer, Ewald von; (1999 - 2000)

INRECA CENTER
Richter, Michael M.; (1999 - 2000)

WebPlan
Richter, Michael M.; (1998 - 2000)

Klinform, Portal für die Region Kaiserslautern - Tor zum Markt der Zukunft
Müller, Paul; (2000 - 2003)

Probility and Geometry
Hagen, Hans; (2000 - 2001)

TRIAL-SOLUTION
Lenski, Wolfgang; (2000 - 2003)