|
|
|
|
Welcome Guest! Login/Join |
| Directory: | Computers / Artificial_Intelligence / Academic_Departments |
| Title: | The German Research Center for Artificial Intelligence GmbH |
| Description: | Nonprofit research institute in the artificial-intelligence field. Includes information, news, and research. |
| Location: | http://www.dfki.de/ |
| |
|
| | |
| Directory: | Computers / Artificial_Intelligence / Natural_Language |
| Title: | VerbMobil |
| Description: | Mobile translation system for the translation of spontaneous speech in face-to-face situations. |
| Location: | http://verbmobil.dfki.de/overview-us.html |
| |
|
| | |
| Directory: | Computers / Artificial_Intelligence / Natural_Language / Tools |
| Title: | Natural Language Software Registry |
| Description: | A directory of academic, commercial and proprietary software with specifications and licensing terms. From DFKI Saarbrücken. |
| Location: | http://registry.dfki.de/ |
| |
|
| | |
| Directory: | Computers / Artificial_Intelligence / People |
| Title: | Wahlster, Wolfgang |
| Description: | Universität des Saarlandes. Multimodal and perceptive user interfaces, user modeling, ambient intelligence, embodied conversational agents, smart navigation systems, semantic web services, and resource-adaptive cognitive technologies, VERMOBIL. |
| Location: | http://www.dfki.de/~wahlster/ |
| |
|
| | |
| Directory: | Computers / Computer_Science / Research_Institutes |
| Title: | German Research Center for AI |
| Description: | Deduction and multiagent systems, information management and document analysis, intelligent user interfaces, intelligent visualization and simulation systems, language technology. |
| Location: | http://www2.dfki.de/web/ |
| |
|
| | |
| Directory: | Computers / Programming / Languages / Logic-based / Constraint_Logic |
| Title: | DFKI: MAS Publications: Multi-Agent Systems |
| Description: | Abstract and PostScript version of 'Multi-Agent Planning Using an Abductive Event Calculus' in which a planning service module is incorporated into a constraint-logic framework to gain a strong sense of non-linearity. |
| Location: | http://www.dfki.de/mas/papers/ |
| |
|
| | |
| Directory: | Computers / Programming / Languages / Specification |
| Title: | INKA Inductive Theorem Prover |
| Description: | First-order theorem prover with induction based on the explicit induction paradigm. It is based on a full first-order calculus, a special variant of the resolution calculus with paramodulation. |
| Location: | http://www.dfki.de/vse/systems/inka/ |
| |
|
| | |
| Directory: | Computers / Speech_Technology / Speech_Synthesis / Speech_Synthesis_Cores |
| Title: | MARY Text-to-Speech System |
| Description: | Open source TTS System for German, English and Tibetian based on Mbrola. |
| Location: | http://mary.dfki.de/ |
| |
|
| | |
| Directory: | Games / Board_Games / Abstract / Battle_Games / Chess / Correspondence / Resources |
| Title: | Stephan Busemann's Correspondence Chess Page |
| Description: | Stephan Busemann is CC-GM and has among other things a nice summary of the discussion on the usage of computer programs in CC play. |
| Location: | http://www.dfki.de/~busemann/schach.html |
| |
|
| | |
| Directory: | Science / Social_Sciences / Linguistics / Computational_Linguistics / Research_Groups |
| Title: | (Germany) DFKI Language Technology lab |
| Description: | Lab of the German DFKI research institute with several projects on language technology and NLP. |
| Location: | http://www.dfki.de/lt/ |
| |
|
| | |
Hosting Metrics