Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

FB 4: Informatik

Universität Koblenz

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

Loukis, Euripides; Wimmer, Maria A.

Analysing different models of structured electronic consultation on legislation under formation

Fiorella De Cindio;Ann Macintosh;Cristian Peraboni (Hrsg). Online Deliberation: Fourth International Conference OD 2010; Leeds, UK; 30 June - 2 July, 2010 Proceedings. Leeds: University of Leeds 2010 S. 14 - 26


Sizov, Sergej; Staab, Steffen; Franz, Thomas

Analysis of Social Networks by Tensor Decomposition

Borko Furht (Hrsg). Handbook of Social Network Technologies and Applications. New York: Springer 2010 S. 45 - 58


Eyssel, Friederike; Hegel, Frank; Horstmann, Gernot et al.

Anthropomorphic inferences from emotional nonverbal cues: A case study

Carlo Alberto Avizzano; Massimo Bergamasco; Marcello Carrozzino (Hrsg). Proceedings of the 19th IEEE International Conference on Robot and Human Interactive Communication RO-MAN 2010: Viareggio, Italy; September 13-15, 2010. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2010 S. 646 - 651


Harbusch, Karin; Bäcker, Jens; Hasan, Saša

Applications of HMM-Based Supertagging

Srinivas Bangalore;Aravind Krishna Joshi (Hrsg). Supertagging: Using Complex Lexical Descriptions in Natural Language Processing. Cambridge, MA: MIT Press 2010 S. 449 - 477


Beierle, Christoph; Finthammer, Marc; Kern-Isberner, Gabriele et al.

Automated Reasoning for Relational Probabilistic Knowledge Representation

Jürgen Giesl; Reiner Hähnle (Hrsg). Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin: Springer 2010 S. 218 - 224


Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.

Automatic Verification of Parametric Specifications with Complex Topologies

Dominique Méry; Stephan Merz (Hrsg). Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Berlin: Springer 2010 S. 152 - 167


Louca, A.; Mauthe, Andreas; Hutchinson, David

Autonomic Network Management for Next Generation Networks

2010 S. 1 - 6


Williams, Susan P.; Schubert, Petra

Benefits of Enterprise Systems Use

Ralph H. Sprague (Hrsg). Proceedings of the 43rd Annual Hawaii International Conference on System Sciences HICSS 2010: Koloa, Kauai, Hawaii; 5-8 January, 2010. Los Alamitos, CA: IEEE Computer Society 2010 S. 1 - 9


Frey, Hannes

Best case energy analysis of localized euclidean minimum spanning tree based multicasting in ad hoc and sensor networks

Violet R. Syrotiuk; Fatih Alag; Brahim Bensaou; Özgür B. Akan (Hrsg). MSWIM'10: Proceedings of the 13th ACM International Conference on Modeling, Analysis, and Simulation of Wireless and Mobile Systems; Bodrum, Turkey; October 17–21, 2010. New York, NY: ACM Association for Computing Machinery 2010 S. 195 - 204


Rilling, Stefan; Wechselberger, Ulrich; Müller, Stefan

Bridging the Gap Between Didactical Requirements and Technological Challenges in Serious Game Design

Alexei Sourin; Olga Sourina (Hrsg). Proceedings of the 2010 International Conference on Cyberworlds CW 2010; Singapore; 20–22 October 2010. Los Alamitos, CA: IEEE Computer Society 2010 S. 126 - 133