Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

FB 4: Informatik

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2501
  • 0261/287-2502
Publikationen
Ergebnisse pro Seite:  10

Baumgartner, P.

Theory Reasoning in Connection Calculi

Lecture Notes in Artificial Intelligence. Springer 1998


Harbusch, Karin; Widmann, Friedbert; Woch, Jens

Towards a Workbench for Schema-TAGs

Anne Abeillé;Tilman Becker;Giorgio Satta;K. Vijay-Shanker (Hrsg). Proceedings of the 4th International Workshop on Tree Adjoining Grammars and Related Frameworks TAG+ 1998: University of Pennsylvania, USA, August 1998. Philadelphia, PA: University of Pennsylvania 1998 S. 58 - 61


Obst, O.; Murray, J.; Stolzenburg, F. et al.

Towards deduction in RoboCup

http://www.ki.informatik.hu-berlin.de/AKRoboCup/RoboCupWS-KI98/towardsDeductionInRoboCup.ps.gz. 1998 S. 1-2



Baumgartner, Peter; Furbach, Ulrich

Variants of Clausal Tableaux

Wolfgang Bibel; Peter H. Schmitt (Hrsg). Automated Deduction-A Basis for Applications: Volume 1; Foundations - Calculi and Methods. Dordrecht: Kluwer Academic Publishers 1998 S. 73 - 102


Troitzsch, Klaus G.; Möhring, Michael; Meyer, Ulrich et al.

Verhaltenskoordination im Katastrophenfall. Ein Simulationsmodell

Engeli, Max ; Hrdlicka, Veronika (Hrsg). Simulationstechnik, Teil: 12., In Zürich, September 1998. San Diego u. a.: Society for Modeling and Simulation International 1998 S. 443 - 450 (Fortschritte in der Simulationstechnik)


Von Kortzfleisch, Harald F. O.

Virtualisierung der betrieblichen Aus- und Weiterbildung

Nikolaus Franke; Christoph-Friedrich von Braun (Hrsg). Innovationsforschung und Technologiemanagement: Konzepte, Strategien, Fallbeispiele. Berlin: Springer 1998 S. 79 - 88


Selz, Dorian; Schubert, Petra

Web Assessment - A Model for the Evaluation and the Assessment of Successful Electronic Commerce Applications

Jay F. Nunamaker; Ralph H. Sprague; Robert W. Blanning; Daniel R. Dolk; Hugh J. Watson; Hesham El-Rewini (Hrsg). Proceeding of the 31st Hawaii International Conference on System Sciences HICSS 1998: Volume IV - Internet and the Digital Economy; Kohala Coast, Hawaii on January 6 - 9, 1998. Los Alamitos, CA: IEEE Computer Society 1998 S. 222 - 231


Ahlrichs, Ulrike; Heigl, Benno; Paulus, Dietrich et al.

Wissensbasierte aktive Bildanalyse

Hartmut Wedekind (Hrsg). Von der Informatik zu Computational Science und Computational Engineering: Abschlußkolloquium des Sonderforschungsbereichs 182 Multiprozessor- und Netzwerkkonfigurationen, 14. - 16. Oktober 1998; Erlangen. Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg, Institut für Mathematische Maschinen und Datenverarbeitung 1998 S. 97 - 113


Paulus, Dietrich; Ahlrichs, Ulrike; Heigl, Benno et al.

Wissensbasierte aktive Szenenanalyse

Paul Levi;Michael Schanz;Rolf-Jürgen Ahlers;Franz May (Hrsg). Mustererkennung 1998: 20. DAGM-Symposium Stuttgart, 29. September – 1. Oktober 1998. Berlin: Springer 1998 S. 185 - 192