Visual Event Mining from the Twitter Stream Takamu Kaneko Keiji Yanai Department of Informatics, The University of Electro-Communications, Tokyo

Source URL: gdac.uqam.ca

• Computing
• Digital media
• Data
• Geographic data and information
• Social networking services
• Social media
• Web 2.0
• Twitter
• Geotagging
• Geotagged photograph

Informatics workshop at university.

Source URL: www.univ-lille.fr

Department of Informatics - Institute of Neuroinformatics Ultimate SLAM? Robust Visual SLAM with Events, Images and IMU Antoni Rosinol Vidal, Henri Rebecq, Timo Horstschaefer, Davide Scaramuzza

Source URL: rpg.ifi.uzh.ch

• Photographic techniques
• Photography
• Visual arts
• High dynamic range
• Science of photography
• High-dynamic-range imaging
• Motion blur
• Filmmaking
• Motion compensation

Carlo A. Furia 1 Software Institute Faculty of Informatics

Source URL: bugcounting.net

• Software engineering
• Computing
• Computer science
• Polytechnic University of Milan
• International Conference on Software Engineering
• Bertrand Meyer
• Software verification
• ETH Zurich
• Carlo Ghezzi

Expected Reachability-Time Games Vojtˇech Forejt1 , Marta Kwiatkowska2 , Gethin Norman3 , and Ashutosh Trivedi2 1 Faculty of Informatics, Masaryk University, Botanick´a 68a, Brno, Czech Republic Oxford University Compu

Source URL: qav.comlab.ox.ac.uk

• Greek letters
• Timed automaton
• Symbol
• Zeta

Georgios Fainekos School of Computing, Informatics and Decision Systems Engineering, Arizona State University. Office address: 660 W 6th St, STE, Tempe, AZweb: http://www.public.asu.edu/~gfaineko/, email: f

Source URL: www.public.asu.edu

Do Portfolio Solvers Harm? Christoph Weidenbach Max Planck Insitute for Informatics Saarland Informatics CampusSaarbr¨ ucken, Germany

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Logic in computer science
• Formal methods
• Automated reasoning
• Constraint programming
• Automated theorem proving
• Satisfiability modulo theories
• Solver
• Answer set programming
• Satz
• Model checking
• Algorithm selection

Department of Informatics Continuous-Time Trajectory Estimation for Event-based Vision Sensors Elias Mueggler, Guillermo Gallego, Davide Scaramuzza {mueggler,guillermo.gallego,sdavide}@ifi.uzh.ch, http://rpg.ifi.uzh.ch

Source URL: rpg.ifi.uzh.ch

• Computer vision
• Digital photography
• Robot control
• Image sensors
• Pose
• Artificial intelligence
• Vision

Fake it till you make it: Fishing for Catfishes Walid Magdy∗ , Yehia Elkhatib§ , Gareth Tyson‡ , Sagar Joglekar† , and Nishanth Sastry† ∗ School of Informatics, The University of Edinburgh, UK

Source URL: www.eecs.qmul.ac.uk

• World Wide Web
• Software
• Digital media
• Social media
• Social networking services
• Universal Windows Platform apps
• Blog hosting services
• Video hosting
• Pornhub
• Tinder
• Catfishing
• Online dating service

EVO: Event-based 6-DOF Parallel Tracking and Mapping in Real-time Department of Informatics - Institute of Neuroinformatics Henri Rebecq, Timo Horstschaefer, Guillermo Gallego, Davide Scaramuzza

Source URL: rpg.ifi.uzh.ch

• 3D computer graphics
• 3D imaging
• Depth map
• Nintendo DSi
• 3D reconstruction