Skill Squatting Attacks on Amazon Alexa Deepak Kumar Riccardo Paccagnella Paul Murley Eric Hennenfent Joshua Mason Adam Bates Michael Bailey University of Illinois Urbana-Champaign Abstract

Source URL: kumarde.com

• Linguistics
• Phonetics
• Phonology
• Human communication
• Human behavior
• Language
• Computer accessibility
• Speech recognition
• Amazon Alexa
• Phoneme
• Amazon Echo
• Alexa

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

Planning Under Uncertainty with Temporally Extended Goals Alberto Camacho ∗ Department of Computer Science University of Toronto. Canada.

Source URL: icaps16.icaps-conference.org

• Finite automata
• Temporal logic
• Automated planning and scheduling
• Linear temporal logic
• Theoretical computer science
• Neuropsychology
• Computational complexity theory
• Model checking
• Deterministic finite automaton
• Finite-state machine
• Nondeterministic finite automaton
• Algorithm

Active Automata Learning in Practice An Annotated Bibliography of the Years 2011 to 2016 Falk Howar1 and Bernhard Steffen2 1 Dortmund University of Technology and Fraunhofer ISST, Dortmund, Germany

Source URL: www.falkhowar.de

• Finite automata
• Machine learning
• Artificial intelligence
• Dana Angluin
• Finite-state machine
• Active learning
• Theoretical computer science
• Formal languages
• Learning
• Model checking
• Cellular automata
• Induction of regular languages

Cambridge University Press2 - The Decline of the Death Penalty and the Discovery of Innocence Frank R. Baumgartner, Suzanna L. De Boef and Amber E. Boydstun Table of Contents More information

Source URL: assets.cambridge.org

Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit

Source URL: parallel.princeton.edu

• Linux-based devices
• Single-board computers
• Microcontrollers
• Computer architecture
• ARM architecture
• Classes of computers
• Computing
• Banana Pi
• UDOO

Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK

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

• Formal languages
• Mathematics
• Theoretical computer science
• Models of computation
• Discrete mathematics
• Nested word
• Words
• Bisimulation
• Distribution
• Deterministic pushdown automaton

12th International Satisfiability Modulo Theories Competition (SMT-COMP 2017): Rules and Procedures Matthias Heizmann University of Freiburg Germany

Source URL: smtcomp.sourceforge.net

• Theoretical computer science
• Computing
• NP-complete problems
• Logic in computer science
• Constraint programming
• Electronic design automation
• Formal methods
• Satisfiability modulo theories
• Solver
• Benchmark
• Unsatisfiable core
• Lis

Celadon: A Change Impact Analysis Tool for Aspect-Oriented Programs Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China

Source URL: zhang-sai.github.io

• Software development
• Aspect-oriented software development
• Computing
• Software engineering
• Aspect-oriented programming
• AspectJ
• Pointcut
• Join point
• Cross-cutting concern
• Subject-oriented programming
• Aspect
• Call graph

Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents Drew McDermott Yale University

Source URL: www.kestrel.edu

• Computability theory
• Theoretical computer science
• Automated planning and scheduling
• Artificial intelligence
• Cognitive science
• Mathematics
• Partial-order planning
• Planning Domain Definition Language
• Intelligent agent
• Computability
• Algorithm
• Philosophy of artificial intelligence