Henry A. Kautz

15 papers in the IJCAI proceedings

IJCAI 2016

Unsupervised Alignment of Actions in Video with Text Descriptions

with Young Chol Song, Iftekhar Naim, Abdullah Al Mamun, Kaustubh Kulkarni, Parag Singla, Jiebo Luo, Daniel Gildea

Details PDF

IJCAI 2013

Modeling The Interplay of People's Location, Interactions, and Social Ties

with Adam Sadilek

Details PDF

Towards Understanding Global Spread of Disease from Everyday Interpersonal Interactions

with Sean Brennan, Adam Sadilek

Details PDF

IJCAI 2007

A Dynamic Approach for MPE and Weighted MAX-SAT

with Tian Sang, Paul Beame

Details PDF

A Privacy-Sensitive Approach to Modeling Multi-Person Conversations

with Danny Wyatt, Tanzeem Choudhury, Jeff A. Bilmes

Details PDF

SAT Encodings of State-Space Reachability Problems in Numeric Domains

with Jörg Hoffmann, Carla P. Gomes, Bart Selman

Details PDF

Training Conditional Random Fields Using Virtual Evidence Boosting

with Lin Liao, Tanzeem Choudhury, Dieter Fox

Details PDF

IJCAI 2005

Location-Based Activity Recognition using Relational Markov Networks

with Lin Liao, Dieter Fox

Details PDF

IJCAI 2003

Understanding the Power of Clause Learning

with Paul Beame, Ashish Sabharwal

Details PDF

IJCAI 2001

Balance and Filtering in Structured Satisfiable Problems

with Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel

Details PDF

IJCAI 1999

Unifying SAT-based and Graph-based Planning

with Bart Selman

Details PDF

IJCAI 1997

Ten Challenges in Propositional Reasoning and Search

with Bart Selman, David A. McAllester

Details PDF

IJCAI 1995

The Comparative Linguistics of Knowledge Representation

with Goran Gogic, Christos H. Papadimitriou, Bart Selman

Details PDF

IJCAI 1993

Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems

with Bart Selman

Details PDF

IJCAI 1989

Vivid Knowledge and Tractable Reasoning

with David W. Etherington, Alexander Borgida, Ronald J. Brachman

Details PDF