Bericht (20)
421.
Bericht
60). SFB/TR 14 AVACS (2010), 26 S.
On Hierarchical Reasoning in Combinations of Theories (AVACS Technical Report, 422.
Bericht
61). SFB/TR 14 AVACS (2010), 45 S.
System Description: H-PILoT (Version 1.9) (AVACS Technical Report, 423.
Bericht
Query Evaluation with Asymmetric Web Services. Max-Planck-Institut für Informatik, Saarbrücken (2010), 31 S.
424.
Bericht
Bonsai: Growing Interesting Small Trees. Max-Planck-Institut für Informatik, Saarbrücken (2010), 32 S.
425.
Bericht
On the saturation of YAGO. Max-Planck-Institut für Informatik, Saarbrücken (2010), 50 S.
426.
Bericht
A Bayesian Approach to Manifold Topology Reconstruction. Max-Planck-Institut für Informatik, Saarbrücken (2010), 23 S.
427.
Bericht
URDF: Efficient Reasoning in Uncertain RDF Knowledge Bases with Soft and Hard Rules. Max-Planck-Institut für Informatik, Saarbrücken (2010), 48 S.
428.
Bericht
Dense versus Sparse Approaches for Estimating the Fundamental Matrix. FR 6.1 – Mathematik, Universität des Saarlandes, Saarbrücken (2010)