FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Paulus, Dietrich; Ahrlichs, Ulrike; Heigl, Benno et al.
Active Knowledge-Based Scene AnalysisVidere : A Journal of Computer Vision Research. Bd. 1. H. 4. Cambridge, MA: MIT Press 2000 S. 1 - 25
Staab, Steffen; Angele, Jürgen; Decker, Stefan et al.
AI for the Web - Ontology-Based Community Web PortalsHenry Kautz; Bruce Porter; Robert S. Engelmore; Haym Hirsh (Hrsg). Proceedings of the Seventeenth National Conference on Artificial Intelligence AAAI and Twelfth Innovative Applications of Artificial Intelligence Conference IAAI: July 30 - August 3, 2000; Austin, Texas, USA. Menlo Park, CA: AAAI Press 2000 S. 1034 - 1039
Kresse, Wolfram; Schöffel, Frank; Müller, Stefan
An Autocalibration Tool for the Photometric and Colorimetric Consistency of IPTsA. Rössler;C. Cruz-Neira;O. Riedel (Hrsg). Proceedings of the 4th International Immersive Projection Technology Workshop IPT 2000: June, 19-20, 2000, Iowa State University, Ames, Iowa, USA. Ames, IA: Iowa State University 2000 S. keine Angaben
Decker, Stefan; Jannink, Jan; Melnik, Sergey et al.
An Information Food Chain for Advanced Applications on the WWWJosé Borbinha; Thomas Baker (Hrsg). Research and Advanced Technology for Digital Libraries: 4th European Conference, ECDL 2000, Lisbon, Portugal, September 18–20, 2000 Proceedings. Berlin: Springer 2000 S. 490 - 493
Huang, Yu; Paulus, Dietrich; Niemann, Heinrich
Background-Forground Segmentation Based on Dominant Motion Estimation and Static SegmentationJournal of Computing and Information Technology. Bd. 8. H. 4. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing 2000 S. 349 - 354
Jürjens, Jan
Bridging the gap: Formal vs. Complexity-Theoretical Reasoning about CryptographyDagstuhl Seminar Reports. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2000 S. 10
Staab, Steffen; O’Leary, Daniel Edmund
Bringing knowledge to business processes: papers from the 2000 AAAI spring symposium: March 20 - 22, 2000; Stanford, California, USAMenlo Park, CA: AAAI Press 2000
Ganzinger, Harald; Sofronie-Stokkermans, Viorica
Chaining Techniques for Automated Theorem Proving in Many-Valued LogicsMarek Perkowski (Hrsg). Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic ISMVL 2000; May 23-25, 2000; Portland, Oregon, USA. Los Alamitos, CA: IEEE Computer Society 2000 S. 337 - 344
Dork'o, Gyuri; Paulus, Dietrich; Ahlrichs, Ulrike
Color segmentation for scene explorationGerd Stanke;Michael Pochanke (Hrsg). FarbBV 2000 - 6. Workshop Farbbildverarbeitung m Rahmen der GFaI-Workshop-Familie NordOst: 05. - 06. Oktober 2000; Berlin. Berlin: GFaI Gesellschaft zur Förderung angewandter Informatik 2000 S. 13 - 20
Harbusch, Karin; Kempen, Gerard
Complexity of Linear Ordering in Performance Grammar, TAG and HPSGSylvain Kahane;Owen Rambow;Aravind Joshi;Jennifer MacDougall (Hrsg). Proceedings of the 5th International Workshop on Tree Adjoining Grammar and Related Formalisms TAG+ 2000: Université Paris 7, France; May 25-27, 2000. Paris: Université Paris 7 2000 S. 101 - 106