Search

We found 232 hits for your search of 'c'"'.
  1. Research Reports

    /departments/automation-of-logic/publications/research-reports

    : %G eng %U http://hdl.handle.net/11858/00-001M-0000-000F-14C5-2 %F EDOC: 536340 %F OTHER: Local-ID: C125716C0050FB51-5F53450808E13ED9C125778C00501AE6-Ihlemann-Sofronie-Stokkermans-atr61-2010 %Y SFB/TR [...] Viorica}, LANGUAGE = {eng}, ISSN = {1860-9821}, NUMBER = {ATR60}, LOCALID = {Local-ID: C125716C0050FB51-8E77AFE123C76116C1257782003FEBDA-Ihlemann-Sofronie-Stokkermans-atr60-2010}, INSTITUTION = {SFB/TR 14 [...] http://hdl.handle.net/11858/00-001M-0000-000F-14B7-2 %F EDOC: 536339 %F OTHER: Local-ID: C125716C0050FB51-8E77AFE123C76116C1257782003FEBDA-Ihlemann-Sofronie-Stokkermans-atr60-2010 %Y SFB/TR 14 AVACS %D 2010

  2. Earlier Terms

    /departments/automation-of-logic/teaching/earlier-terms

    WS 2009/2010 Programming Challenges SS 2009 Selected Topics in Automated Reasoning SS 2009 Advanced C Programming WS 2008/2009 Ringvorlesung: Perspektiven der Informatik WS2008/2009 Automated Reasoning

  3. Research Reports

    /departments/computer-graphics/publications/research-reports

    Tübingen %C Tübingen %D 2007 %P 17 p. %B WSI %N 2007-05 %@ false %U http://nbn-resolving.de/urn:nbn:de:bsz:21-opus-32001 PuRe BibTeX fulltext version 27 Report D4 C. Dyken, G. Ziegler, C. Theobalt [...] -1F57-6 %F EDOC: 356502 %F OTHER: Local-ID: C12573CC004A8E26-88919E23BF524D6AC12573C4005B8D41-HerzogReport2007 %Y Max-Planck-Institut für Informatik %C Saarbrücken, Germany %D 2007 %P 66 p. %X [...] net/11858/00-001M-0000-000F-28C9-A %F EDOC: 237862 %Y Max-Planck-Institut für Informatik %C Saarbrücken %D 2004 %P 16 p. %B Research Report PuRe BibTeX 50 Report D4 R. Zayer, C. Rössl, and H.-P. Seidel

  4. Research Reports

    /departments/databases-and-information-systems/publications/research-reports

    net/11858/00-001M-0000-0014-B02F-2 %F OTHER: Local-ID: 62EC1C9C96B8EFF4C1257B560029F18C-DyllaTopk2012 %Y Max-Planck-Institut für Informatik %C Saarbrücken %D 2012 %B Research Report %@ false PuRe [...] LANGUAGE = {eng}, ISSN = {0946-011X}, NUMBER = {MPI-I-2012-5-002}, LOCALID = {Local-ID: 62EC1C9C96B8EFF4C1257B560029F18C-DyllaTopk2012}, INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik}, ADDRESS = {Saa [...] http://ilpubs.stanford.edu:8090/926/ %F OTHER: Local-ID: C1256DBF005F876D-C48EC96138450196C12576B1003F58D3-ilpubs-926 %Y Standford University %C Standford %D 2010 %P 13 p. %B Technical Report PuRe BibTeX

  5. At the Institute

    /services/international-office/international-office-restricted/at-the-institute

    For binding papers, please use a special thermal binding machine located on the 1st floor, room 115C. It is easy to handle. Smoking is not allowed anywhere in our buildings. Even a small amount of smoke

  6. AMIE

    /departments/databases-and-information-systems/research/yago-naga/amie

    Logical rules encode frequent correlations in the data. For example the rule: ?x <hasChild> ?c ?y <hasChild> ?c => ?x <isMarriedTo> ?y states that people having children in common are frequently married [...] taking all bindings of the head variables in the body of the rule which are not in the head (sets B, C and D in our mining model). For instance, for the rule ?s <livesIn> ?o => ?s <isCitizenOf> ?o, we produce

  7. Current Year

    /departments/databases-and-information-systems/publications/current-year

    Crossroads for Answering Users' Questions}, AUTHOR = {Hogan, Aidan and Dong, Xin Luna and Vrande{\v c}i{\'c}, Denny and Weikum, Gerhard}, LANGUAGE = {eng}, URL = {https://arxiv.org/abs/2501.06699}, EPRINT

  8. Last Year

    /departments/databases-and-information-systems/publications/last-year

    handle.net/21.11116/0000-000F-042C-C %R 10.1007/978-3-031-56060-6_20 %D 2024 %B 46th European Conference on Information Retrieval %Z date of event: 2024-03-24 - 2024-03-28 %C Glasgow, UK %B Advances in Information [...] %N 6 %& 1 %P 1 - 42 %Z sequence number: 150 %I ACM %C New York, NY %@ false DOI PuRe BibTeX publisher version 11 Proceedings D5 S. Razniewski, J.-C. Kalo, S. Singhania, J. Z. Pan, T.-P. Nguyen, and B. [...] 11116/0000-000F-FD24-C %R 10.1145/3627673.3679999 %D 2024 %B 33rd ACM International Conference on Information and Knowledge Management %Z date of event: 2024-10-21 - 2024-10-25 %C Boise, ID, USA %B CIKM

  9. The Year Before Last

    /departments/databases-and-information-systems/publications/the-year-before-last

    Improve Social Media Search : %G eng %U http://hdl.handle.net/21.11116/0000-000D-1C08-C %I Universit&#228;t des Saarlandes %C Saarbr&#252;cken %D 2023 %P XI, 69 p. %V master %9 master PuRe BibTeX 2 Conference [...] handle.net/21.11116/0000-000C-18BC-6 %R 10.1145/3539597.3573027 %D 2023 %B 16th ACM International Conference on Web Search and Data Mining %Z date of event: 2023-02-27 - 2023-03-03 %C Singapore %B WSDM '23 %E [...] Self-Supervised Learning in Domain-Speci&#64257;c Language Models : %G eng %U http://hdl.handle.net/21.11116/0000-000D-2D82-E %I Universit&#228;t des Saarlandes %C Saarbr&#252;cken %D 2023 %P XI, 54 p. %V master

  10. Current Year

    /departments/computer-graphics/publications/current-year

    Computer Graphics Publications Current Year Publications - Current Year Article 1 Article D4 K. T. Wijaya, C. R. Goenawan, and S.-H. Kong “Enhancing Performance of 3D Point Completion Network using Consistency [...] 2024-11-30 %D 2025 %J Neurocomputing %V 618 %& 1 %P 1 - 11 %Z sequence number: 129037 %I Elsevier %C Amsterdam %@ false DOI PuRe BibTeX