Presentations and Authors

Last name A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All

Artificial Intelligence Applied to Assistive Technologies and Smart Environments

Deep Activity Recognition Models with Triaxial Accelerometers PDF
Mohammad Abu Alsheikh, Ahmed Selim, Dusit Niyato, Linda Doyle, Shaowei Lin, Hwee-Pink Tan
A Prototype Intelligent Assistant to Help Dysphagia Patients Eat Safely At Home PDF
Michael Freed, Brian Burns, Aaron Heller, Daniel Sanchez, Sharon Beaumont-Bowman
Child-Centred Motion-Based Age and Gender Estimation with Neural Network Learning PDF
Anara Sandygulova, Yerdaulet Absattar, Damir Doszhan, German I. Parisi

AI, Ethics, and Society

Formalizing Convergent Instrumental Goals PDF
Tsvi Benson-Tilsen, Nate Soares
Defining Human Values for Value Learners PDF
Kaj Sotala
Relational Enhancement: A Framework for Evaluating and Designing Human-Robot Relationships PDF
Jason R. Wilson, Thomas Arnold, Matthias Scheutz

Artificial Intelligence for Cyber Security

Validating an Agent-Based Model of Human Password Behavior PDF
Bruno Korbar, Jim Blythe, Ross Koppel, Vijay Kothari, Sean W. Smith
Toward Argumentation-Based Cyber Attribution PDF
Eric Nunes, Paulo Shakarian, Gerardo Simari
Socio-Cultural Modeling for Cyber Threat Actors PDF
Paulo Shakarian, Jana Shakarian
UCO: A Unified Cybersecurity Ontology PDF
Zareen Syed, Ankur Padia, Tim Finin, Lisa Mathews, Anupam Joshi

AI for Smart Grids and Smart Buildings

An MDP-Based Winning Approach to Autonomous Power Trading: Formalization and Empirical Analysis PDF
Daniel Urieli, Peter Stone
Planning under Uncertainty for Aggregated Electric Vehicle Charging Using Markov Decision Processes PDF
Erwin Walraven, Matthijs T. J. Spaan

Beyond NP

Clauses Versus Gates in CEGAR-Based 2QBF Solving PDF
Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl
SlimShot: Probabilistic Inference for Web-Scale Knowledge Bases PDF
Eric Gribkoff, Dan Suciu
Non-CNF QBF Solving with QCIR PDF
Charles Jordan, Will Klieber, Martina Seidl
Toward Caching Symmetrical Subtheories for Weighted Model Counting PDF
Timothy Kopp, Parag Singla, Henry Kautz
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving PDF
Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik

Computer Poker and Imperfect Information Games

Protecting Wildlife under Imperfect Observation PDF
Thanh Hong Nguyen, Arunesh Sinha, Shahrzad Gholami, Andrew Plumptre, Lucas Joppa, Milind Tambe, Margaret Driciru, Fred Wanyama, Aggrey Rwetsiba, Rob Critchlow, Colin Beale
The Scalability of the HyperPlay Technique for Imperfect-Information Games PDF
Michael Schofield, Michael Thielscher

Declarative Learning Based Programming

Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning PDF
Carl Schultz, Mehul Bhatt

Expanding the Boundaries of Health Informatics Using AI

Simultaneous Influencing and Mapping for Health Interventions PDF
Leandro Soriano Marcolino, Aravind Lakshminarayanan, Amulya Yadav, Milind Tambe
Predicting 30-Day Risk and Cost of "All-Cause" Hospital Readmissions PDF
Shanu Sushmita, Garima Khulbe, Aftab Hasan, Stacey Newman, Padmashree Ravindra, Senjuti Basu Roy, Martine De Cock, Ankur Teredesai

Knowledge Extraction from Text

EmoGram: An Open-Source Time Sequence-Based Emotion Tracker and Its Innovative Applications PDF
Aditya Joshi, Vaibhav Tripathi, Ravindra Soni, Pushpak Bhattacharyya, Mark James Carman
Automatic Extraction of Events-Based Conditional Commonsense Knowledge PDF
Arpit Sharma, Chitta Baral

Multiagent Interaction without Prior Coordination

Identifying and Tracking Switching, Non-Stationary Opponents: A Bayesian Approach PDF
Pablo Hernandez-Leal, Matthew E. Taylor, Benjamin Rosman, L. Enrique Sucar, Enrique Munoz de Cote
Policy Communication for Coordination with Unknown Teammates PDF
Trevor Sarratt, Arnav Jhala

Planning for Hybrid Systems

SMT-Based Reasoning for Uncertain Hybrid Domains PDF
Fedor Shmarov, Paolo Zuliani

Scholarly Big Data: AI Perspectives, Challenges, and Ideas

Automatic Construction of Evaluation Sets and Evaluation of Document Similarity Models in Large Scholarly Retrieval Systems PDF
Kriste Krstovski, David A. Smith, Michael J. Kurtz
Automatically Augmenting Titles of Research Papers for Better Discovery PDF
Madhavan Pallan, Biplav Srivastava
Analyzing NIH Funding Patterns over Time with Statistical Text Analysis PDF
Jihyun Park, Margaret Blume-Kohout, Ralf Krestel, Eric Nalisnick, Padhraic Smyth
Modeling Topic-Level Academic Influence in Scientific Literatures PDF
Jiaming Shen, Zhenyu Song, Shitao Li, Zhaowei Tan, Yuning Mao, Luoyi Fu, Li Song, Xinbing Wang

Symbiotic Cognitive Systems

Task Learning through Visual Demonstration and Situated Dialogue PDF
Changsong Liu, Joyce Y. Chai, Nishant Shukla, Song-Chun Zhu
An Overview of Affective Motivational Collaboration Theory PDF
Mahni Shayganfar, Charles Rich, Candace L. Sidner
CATS: Cognitive Analytic Trail System PDF
Raphael Melo Thiago, Leonardo Guerreiro Azevedo, Viviane Torres da Silva, Vinícius C. V.B Segura, Marcelo Nery dos Santos, Renato F. de G. Cerqueira

World Wide Web and Population Health Intelligence

Discovering Relevant Hashtags for Health Concepts: A Case Study of Twitter PDF
Quanzhi Li, Sameena Shah, Rui Fang, Armineh Nourbakhsh, Xiaomo Liu