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

A Prototype Intelligent Assistant to Help Dysphagia Patients Eat Safely At Home PDF
Michael Freed, Brian Burns, Aaron Heller, Daniel Sanchez, Sharon Beaumont-Bowman

Artificial Intelligence for Cyber Security

UCO: A Unified Cybersecurity Ontology PDF
Zareen Syed, Ankur Padia, Tim Finin, Lisa Mathews, Anupam Joshi

AI for Smart Grids and Smart Buildings

Cost-Effective Feature Selection and Ordering for Personalized Energy Estimates PDF
Kirstin Early, Stephen Fienberg, Jennifer Mankoff
Proactive Dynamic DCOPs PDF
Khoi Hoang, Ferdinando Fioretto, Ping Hou, Makoto Yokoo, William Yeoh, Roie Zivan

Beyond NP

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

Declarative Learning Based Programming

JudgeD: A Probabilistic Datalog with Dependencies PDF
Brend Wanders, Maurice van Keulen, Jan Flokstra

Incentives and Trust in Electronic Communities

TRM: Computing Reputation Score by Mining Reviews PDF
Guangquan Xu, Yan Cao, Yao Zhang, Gaoxu Zhang, Xiaohong Li, Zhiyong Feng

Knowledge Extraction from Text

Extending Biology Models with Deep NLP over Scientific Articles PDF
David McDonald, Scott Friedman, Amandalynne Paullada, Rusty Bobrow, Mark Burstein

Planning for Hybrid Systems

A Compilation of the Full PDDL+ Language into SMT PDF
Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni
Planning in Dynamic Environments Through Temporal Logic Monitoring PDF
Bardh Hoxha, Georgios Fainekos
Heuristic Planning for PDDL+ Domains PDF
Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio
Explorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem PDF
Tony T. Tran, Zhihui Wang, Minh Do, Eleanor G. Rieffel, Jeremy Frank, Bryan O'Gorman, Davide Venturelli, J. Christopher Beck
Active Control of Marine Vehicles in the Presence of Strong, Dynamic, Uncertain Currents PDF
Martina Troesch, Steve Chien, Yi Chao, John Farrara

Scholarly Big Data: AI Perspectives, Challenges, and Ideas

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

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