Skip to main content Skip to main navigation

Projekte

Zeige Ergebnisse 921 bis 930 von 1189.
  1. BESAHOT – Explanative Bewertungsanalyse  für die Saarländische Hotellerie

    BESAHOT – Explanative Bewertungsanalyse für die Saarländische Hotellerie

    Hauptziel des Projekts ist die Schaffung eines Web-Portals, in dem Kommentare und Bewertungen von Gästen saarländischer Hotels gesammelt, ausgewertet ...

  2. B-HIP – B-HIP

    B-HIP – B-HIP

    The project B-HiP investigates the applicability of high-performance computing infrastructure to sup-port the execution of business transactions. In ...

  3. IGEL – Sicherer Kegelscanner

    IGEL – Sicherer Kegelscanner

    Im Projekt IGEL wird eine Sicherungskomponente (Sicherheits-Laserscanner) entwickelt, welche zur Kollisionsvermeidung von autonomen, halbautonomen ...

  4. NIFTi – Natural human-robot cooperation in dynamic environments

    NIFTi – Natural human-robot cooperation in dynamic environments

    NIFTi puts the human factor into cognitive architectures. NIFTi investigates how natural behavior in human-robot cooperation can arise. NIFTi ...

  5. ProForm – Formale Methoden für die Steuerung von Produktionsanlagen

    ProForm – Formale Methoden für die Steuerung von Produktionsanlagen

    Gegenstand der Forschungsarbeiten von ProForm ist es, erzielte Resultate im Bereich Formaler Methoden für die Entwicklung von Software zur Steuerung ...

  6. LT-World – Language Technology World

    LT-World – Language Technology World

    Bei Language Technology World handelt es sich um ein ontologiebasiertes virtuelles Informationszentrum über das weite Spektrum der Technologien die ...

  7. IWI-Handbook – IWi-Handbuch des Business Process Engineering - Empirische Beobachtungen, Gesetze und Theorien

    IWI-Handbook – IWi-Handbuch des Business Process Engineering - Empirische Beobachtungen, Gesetze und Theorien

    In den letzten Jahren hat sich eine prozessorientierte Entwicklung von Informationssystemen zunehmend etabliert. In der Frühzeit der ...

  8. LATIN – Logic Atlas & Integrator

    LATIN – Logic Atlas & Integrator

    Entwicklung von Methoden und Werkzeugen zur Vernetzung von Logiken/Beweissystemen aus autom. Beweisen, Mathematik und Softwareentwicklung. Partner ...

  9. INBEKI-ESTeT – Interaktionsgesteuerte Bilddatenanalyse zur Bekämpfung von Kinderpornographie

    INBEKI-ESTeT – Interaktionsgesteuerte Bilddatenanalyse zur Bekämpfung von Kinderpornographie

    Durch die technischen Möglichkeiten des Internet wird eine rapide Zunahme der Verbreitung von kinderpornografischem Material registriert. Allein in ...

  10. CUSLAM – Confined Underwater SLAM

    CUSLAM – Confined Underwater SLAM

    Im Projekt CUSLAM soll ein robuster Algorithmus zur Selbstlokalisierung und Kartenerstellung in komplexen, räumlich eingeschränkten ...