Automatic Verification of RMA Programs via Abstraction Extrapolation Cedric Baumann1 , Andrei Marian Dan1 , Yuri Meshman2 , Torsten Hoefler1 , and Martin Vechev1 1

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Mathematics
• Predicate logic
• Formal methods
• Quantification
• Predicate
• Propositional calculus
• Quantifier
• FO
• Satisfiability modulo theories
• Predicate transformer semantics

c This is a preprint for the paper accepted for publication in CVPR 2017. 2017 IEEE Are Large-Scale 3D Models Really Necessary for Accurate Visual Localization? Torsten Sattler1 Akihiko Torii2 Josef Sivic3,5

Source URL: people.inf.ethz.ch

• Computer vision
• Artificial intelligence
• Vision
• 3D imaging
• Photogrammetry
• Applications of computer vision
• Robot control
• Structure from motion
• Pose
• 3D reconstruction
• Convolutional neural network
• Camera resectioning

From SAT to ASP and back!? Torsten Schaub University of Potsdam & INRIA Rennes Torsten Schaub (KRR@UP)

Source URL: sat2016.labri.fr

• Programming paradigms
• Logic programming
• Software engineering
• Artificial intelligence
• Constraint programming
• Theoretical computer science
• Answer set programming
• Automated reasoning
• Constraint satisfaction problem
• Problem solving
• Solver
• Knowledge representation and reasoning

Benchmarking 6DOF Outdoor Visual Localization in Changing Conditions Torsten Sattler1 Will Maddern2 Carl Toft3 Akihiko Torii4 Lars Hammarstrand3 Erik Stenborg3 Daniel Safari4,5 Masatoshi Okutomi4 Marc Pollefeys1,6 Josef

Source URL: openaccess.thecvf.com

InLoc: Indoor Visual Localization with Dense Matching and View Synthesis Hajime Taira1 Masatoshi Okutomi1 Torsten Sattler2 Mircea Cimpoi3 Marc Pollefeys2,4 Josef Sivic3,5 Tomas Pajdla3 Akihiko Torii1 1 Tokyo Institute of

Source URL: openaccess.thecvf.com

• Computer vision
• Artificial intelligence
• Vision
• Photogrammetry
• Applications of computer vision
• Image search
• Robot control
• Outline of object recognition
• Conference on Computer Vision and Pattern Recognition
• Structure from motion
• Visual Word
• Pose

Praxis der Forschung im Sommersemester 2018 Prof. Dr.-Ing. Tamim Asfour, Prof. Dr. Bernhard Beckert, Prof. Dr.-Ing. Michael Beigl, Prof. Dr.-Ing. Uwe D. Hanebeck, Jun.-Prof. Dr.-Ing. Anne Koziolek, Prof. Dr.-Ing. Torsten

Source URL: formal.iti.kit.edu

Torsten Kröger Stanford University & Google Torsten Kroeger is a roboticist at Google X and a visiting researcher at Stanford University. He received his Master‘s degree in Electrical Engineering from TU Braunschweig,

Source URL: www.interact25.org

Interview with Torsten Hoffmann, Writer/Director/Producer of the new award-winning Documentary “Bitcoin: The End of Money as we Know it” Q: Briefly, what is your film about and who should watch it? A: The 60-minute d

Source URL: theendofmoneyasweknowit.com

Torsten Geerdts Präsident des Schleswig-Holsteinischen Landtages Grußwort zur Sommerakademie 2010 am 30. August „Codex digitalis Optimierter Persönlichkeitsschutz – digital und vernetzt“

Source URL: www.datenschutzzentrum.de