Starten Sie Ihre Suche...


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

Suche


29824 Treffer


× Universität Koblenz
× Hochschule Mainz
× Hochschule Koblenz


  • Furbach, Ulrich; Günther, Heiko; Schon, Claudia
  • A Knowledge Compilation Technique for ALC TBoxes
  • H. Chad Lane;Hans W. Guesgen (Hrsg). Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference: FLAIRS; 19 - 21 May 2009, Sanibel Island, Florida, USA. Menlo Park, CA: AAAI Press 2009 S. 39 - 44

  • Kumar, Chandan; Pingali, Prasad; Varma, Vasudeva
  • A light-weight summarizer based on language model with relative entropy
  • Sung Y. Shin;Sascha Ossowski;Paulo Martins;Ronaldo Menezes;Mirko Viroli;Jiman Hong;Dongwan Shin (Hrsg). Proceedings of the 24th Annual ACM Symposium on Applied Computing SCA 2009: Honolulu, Hawaii, USA; March 8-12, 2009. New York, NY: ACM Association for Computing Machinery 2009 S. 1752 - 1753



  • Richter, Philipp; Langer, Lucie; Hupf, Katharina et al.
  • Verifizierbarkeit und Öffentlichkeitsgrundsatz bei elektronischen Wahlen
  • Erich Schweighöfer;Anton Geist;Ines Staufer (Hrsg). Globale Sicherheit und proaktiver Staat - die Rolle der Rechtsinformatik: Tagungsband des 13. Internationalen Rechtsinformatik-Symposions IRIS 2010; 25. - 27. Februar 2010; Universität Salzburg. 2., neubearbeitete und erweiterte Auflage. Aufl. Wien: Österrreichische Computer Gesellschaft 2010 S. 63 - 68