NO Need to Worry about Adversarial Examples in Object Detection in Autonomous Vehicles Jiajun Lu∗, Hussein Sibai∗, Evan Fabry, David Forsyth University of Illinois at Urbana Champaign {jlu23, sibai2, efabry2, daf}@il

Source URL: negative.vision

• Applied mathematics
• Mathematics
• Artificial neural network
• Computational neuroscience
• Market research
• Market segmentation
• Mathematical psychology
• Perturbation theory
• Outline of machine learning
• Adversary
• Traffic sign
• Analysis

Study of Integrating Random and Symbolic Testing for Object-Oriented Software∗ Marko Dimjašević1 , Falk Howar2 , Kasper Luckow3 , and Zvonimir Rakamarić1 1 2

Source URL: www.falkhowar.de

• Software testing
• Software engineering
• Computing
• Software development
• Symbolic execution
• Random testing
• Unit testing
• Code coverage
• Test automation
• Algorithm
• Manual testing
• Concolic testing

Object Capabilities and Isolation of Untrusted Web Applications Sergio Maffeis Imperial College London John C. Mitchell Stanford University

Source URL: www.doc.ic.ac.uk

• Computing
• Computer programming
• Software engineering
• Functional languages
• High-level programming languages
• Computer access control
• Object-capability model
• JavaScript
• Heap
• Topological space
• Monad
• Caja project

Detection Bank: An Object Detection Based Video Representation for Multimedia Event Recognition Tim Althoff UC Berkeley EECS/ICSI

Source URL: www.timalthoff.com

• Computer vision
• Applications of computer vision
• Gesture recognition
• Surveillance
• Feature detection
• Bag-of-words model in computer vision
• Conference on Computer Vision and Pattern Recognition
• Object detection

Type Soundness for DOT (Dependent Object Types) Tiark Rompf Nada Amin

Source URL: lampwww.epfl.ch

• Computing
• Software engineering
• Computer programming
• Type theory
• Data types
• Functional languages
• Subroutines
• Scala
• Recursive data type
• Recursion
• Type system

DOT (Dependent Object Types) Nada Amin ECOOP PC Workshop

Source URL: lampwww.epfl.ch

• Computing
• Software engineering
• Computer programming
• Object-oriented programming
• Programming languages
• Functional languages
• Functional programming
• Scala
• Anonymous function
• Covariance and contravariance
• DEF CON
• Is-a

AlloyInEcore: Deep Embedding of First-Order Relational Logic into Meta-Object Facility Workshop on the Future of Alloy. May 1, 2018. Cambridge, MA About me

Source URL: alloytools.org

• Mathematics
• Theoretical computer science
• Formal methods
• Model theory
• Conflict-driven clause learning
• Solver
• Alloy
• Metamodeling
• Meta-Object Facility
• Embedding
• First-order logic
• Mathematical logic

Haptic SLAM: an ideal observer model for Bayesian inference of object shape and hand pose from contact dynamics Feryal M. P. Behbahani1 , Guillem Singla–Buxarrais2 and A. Aldo Faisal1,2,3 1

Source URL: spiral.imperial.ac.uk

• Humancomputer interaction
• Artificial intelligence
• Robot control
• Virtual reality
• Multimodal interaction
• Video game controllers
• Robot navigation
• Haptic technology
• Haptic perception
• Simultaneous localization and mapping
• Occupancy grid mapping
• Kalman filter

Area 2 (Programming Techniques and the Web) Danny Yoo () Abstract The object capability (ocap) community uses Y-URLs (yurls) as a means of extending the ocap paradigm to the distributed world of the Web. L

Source URL: www.hashcollision.org

• Computing
• World Wide Web
• Uniform Resource Locator
• Network architecture
• Internet protocols
• Continuation
• Control flow
• Hypertext Transfer Protocol
• Web server
• Server
• HTTP referer

PDF Document

Source URL: object.cato.org