FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Matamoros, Mauricio; Harbusch, Karin; Paulus, Dietrich
From Commands to Goal-based Dialogs: A Roadmap to Achieve Natural Language Interaction in RoboCup@HomeS. 1 - 13
Staab, Steffen
GLR-Parsing of Word Lattices Using a Beam Search MethodCoRR. S. 1 - 4
Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
Guiding a General-Purpose C Verifier to Prove Cryptographic ProtocolsCoRR. S. 1 - 39
Kunegis, Jérôme
Handbook of Network Analysis: KONECT - the Koblenz Network CollectionCoRR. S. 1 - 64
Walk, Simon; Singer, Philipp; Strohmaier, Markus et al.
How to Apply Markov Chains for Modeling Sequential Edit Patterns in Collaborative Ontology-Engineering ProjectsCoRR. S. 1 - 50
Singer, Philipp; Helic, Denis; Hotho, Andreas et al.
HypTrails: A Bayesian Approach for Comparing Hypotheses About Human Trails on the WebCoRR. S. 1 - 11
Lamprecht, Daniel; Strohmaier, Markus; Helic, Denis
Improving Reachability and Navigability in Recommender SystemsCoRR. S. 1 - 10
Karimi, Fariba; Wagner, Claudia; Lemmerich, Florian et al.
Inferring Gender from Names on the Web: A Comparative Evaluation of Gender Detection MethodsCoRR. S. 1 - 2
Sofronie-Stokkermans, Viorica
Interpolation in local theory extensionsCoRR. S. 1 - 31
Wagner, Claudia; Garcia, David; Jadidi, Mohsen et al.
It's a Man's Wikipedia? Assessing Gender Inequality in an Online EncyclopediaCoRR. S. 1 - 11