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
Track:
 

AI for Smart Grids and Smart Buildings

Automatic Label Correction and Appliance Prioritization in Single Household Electricity Disaggregation PDF
Mark Valovage, Maria Gini

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
Knowledge Compilation and Weighted Model Counting for Inference in Probabilistic Logic Programs PDF
Jonas Vlasselaer, Angelika Kimmig, Anton Dries, Wannes Meert, Luc De Raedt

Declarative Learning Based Programming

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

Expanding the Boundaries of Health Informatics Using AI

Adaptive Ensemble Learning with Confidence Bounds for Personalized Diagnosis PDF
Cem Tekin, Jinsung Yoon, Mihaela van der Schaar

Planning for Hybrid Systems

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

Symbiotic Cognitive Systems

Contexts for Symbiotic Autonomy: Semantic Mapping, Task Teaching and Social Robotics PDF
Roberto Capobianco, Guglielmo Gemignani, Luca Iocchi, Daniele Nardi, Francesco Riccio, Andrea Vanzo
Ceding Control: Empowering Remote Participants in Meetings involving Smart Conference Rooms PDF
Vinay Venkataraman, Jonathan Lenchner, Shari Trewin, Maryam Ashoori, Shang Guo, Mishal Dholakia, Pavan Turaga

World Wide Web and Population Health Intelligence

Discourse, Health and Well-Being of Military Populations Through the Social Media Lens PDF
Umashanthi Pavalanathan, Vivek Datla, Svitlana Volkova, Lauren Charles-Smith, Meg Pirrung, Josh Harrison, Alan Chappell, Courtney D Corley