Search

We found 647 hits for your search of '-'.
  1. Hot Topics in Data Networks - Winter 2025

    /departments/inet/teaching/seminar-2024-2025

    Research Departments Internet Architecture Teaching Hot Topics in Data Networks - Winter 2025 Hot Topics in Data Networks Seminar Winter 2023/2024 While the Internet has started as a research effort, it has

  2. Sophie Tourret

    /departments/automation-of-logic/people/sophie-tourret

    Waldmann ) 2012-2014, formal languages, databases and networks (teaching assistant at Grenoble INP - Ensimag ). Research topics My work revolves currently around two projects: Matryoshka , a project that [...] Uwe Waldmann, ARCADE, 2019 ( pdf , slides ) SLD-Resolution Reduction of Second-Order Horn Fragments - Extended Abstract , Sophie Tourret, Andrew Cropper, TERMGRAPH, 2018 ( slides ) Learning Logic Program [...] Implicates, from Propositional Logic to Equational Logic , Sophie Tourret, Master thesis, Grenoble INP - Ensimag, 2012 ( pdf ) Activities conference-related program committee chair: PAAR 2020 program committee

  3. Literature

    /departments/automation-of-logic/teaching/winter-20142015/automated-reasoning/literature

    [PDF] Script 02 [PDF] Script 03 [PDF] Script 04 [PDF] Script 01 - 04 with corrections [PDF] Script 05 [PDF] Script 06 [PDF] Script 01 - 07 with corrections [PDF] Script 01 -07 further corrections [PDF] [...] (Editors) Handbook of Satisfiability IOS Press, 2009 Uwe Schöning, Jacobo Torán: The Satisfiability Problem - Algorithms and Analyses Lehmanns Verlag, 2013 Termination, well-founded orderings, confluence, unification

  4. Ausgezeichnet: Clevere und revolutionär schnelle Suchmaschine.

    /news/press-release-articles/2008/ausgezeichnet-clevere-und-revolutionaer-schnelle-suchmaschine

    „CompleteSearch“-Technologie. Sie basiert auf jahrelanger Forschungsarbeit und erreicht bei größerer Funktionalität Geschwindigkeiten, die bislang undenkbar waren. Für dieses System wurde nun der Max-Planck [...] herausragenden Leistungen vergeben. Das Internet ist heute zu unserem täglichen Begleiter geworden wir suchen dort nach schnellen Antworten auf unsere Fragen. Dennoch muss man bei jeder einzelnen Anfrage

  5. Multi-view Pictorial Structures for 3D Human Pose Estimation

    /departments/computer-vision-and-machine-learning/research/people-detection-pose-estimation-and-tracking/multi-view-pictorial-structures-for-3d-human-pose-estimation

    dataset in [2] HumanEva-I ground truth for the follwoing subject and sequences S1 - Walking, Jog, Box S2 - Walking, Jog S3 - Walking, Jog Ground truth annotations (4 MB) Acknowledgements The 3D MPII Cooking

  6. HowToKB

    /yago-naga/webchild/howtokb-1

    Our methodology first applies Open-IE techniques to WikiHow articles, in order to extract - noisy and ambiguous - candidates for task and sub-tasks. Subsequently, we use judiciously devised clustering techniques

  7. Current Year

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

    Research Departments 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 [...] 10-6BDB-0 %R 10.1016/j.neucom.2024.129037 %7 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

  8. Automation of Logic

    /departments/automation-of-logic

    Checking Overview People Who Is Who? - Secretaries, Researchers, Students, Guests, Former Group Members, Former Students, and Former Guests more Research Areas What We Work on - Who Works in Which Area? more

  9. Hot Topics in Data Networks - Winter 2023

    /departments/inet/teaching/seminar-2021-1

    Research Departments Internet Architecture Teaching Hot Topics in Data Networks - Winter 2023 Hot Topics in Data Networks Seminar Winter 2022/2023 While the Internet has started as a research effort, it has

  10. Saurabh Sharma

    /departments/computer-vision-and-machine-learning/people/alumni-and-former-members/saurabh-sharma

    Recognition %Z date of event: 2020-09-28 - 2020-10-01 %C Tübingen, Germany %B Pattern Recognition %E Akata, Zeynep; Geiger, Andreas; Sattler, Torsten %P 86 - 100 %I Springer %@ 978-3-030-71277-8 %B [...] Conference on Computer Vision %Z date of event: 2019-10-27 - 2019-11-02 %C Seoul, Korea %B International Conference on Computer Vision %P 2325 - 2334 %I IEEE %@ 978-1-7281-4803-8 %U https://github.com/s [...] 2019 %B 32nd IEEE Conference on Computer Vision and Pattern Recognition %Z date of event: 2019-06-16 - 2019-06-20 %C Long Beach, CA, USA %X When labeled training data is scarce, a promising data augmentation