Technical Program
Wednesday, August 13

[TS] Technical Sessions

Robotics: SLAM 1

• Distinguished Paper Award. Thin Junction Tree Filters for Simultaneous Localization and Mapping.
  Mark A. Paskin
• TDP-SLAM: Fast, Robust Simultaneous Localization and Mapping Without Predetermined Landmarks.
  Austin Eliazar and Ronald Parr

9:30am-10:00am
- Cholula 1 -

Constraints 3

• In the quest of the best form of local consistency for Weighted CSP.
  Javier Larrosa and Thomas Schiex
• On a generalization of triangulated graphs for domains decomposition of CSPs.
  Assef Chmeiss, Philippe Jégou and Lamia Keddar

9:30am-10:00am
- Cholula 3 -

Decision Theory 2

• Great Expectations. Part I: On the Customizability of Generalized Expected Utility.
  Francis C. Chu and Joseph Y. Halpern
• Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule.
  Francis C. Chu and Joseph Y. Halpern

9:30am-10:00am
- Cholula 5 -

Multi-Agent Systems 4: Evolution and Genetic Algorithms

• Improving Coevolutionary Search for Optimal Multiagent Behaviors.
  Liviu Panait, R. Paul Wiegand and Sean Luke
• When Evolving Populations is Better than Coevolving Individuals: The Blind Mice Problem.
  Thomas Miconi

9:30am-10:00am
- Cholula 6 -

Robotics: SLAM 2

• FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably Converges.
  Mike Montemerlo, Sebastian Thrun, Daphne Koller and Ben Wegbreit
• Consistent, Convergent, and Constant-Time SLAM.
  J. Leonard and P. Newman

10:30am-11:30am
- Cholula 1 -

Constraints 4

• Algorithms for Identifying Rigid Subsystems in Geometric Constraint Systems.
  Christophe Jermann, Bertrand Neveu and Gilles Trombettoni
• A Maximal Tractable Class of Soft Constraints.
  David Cohen, Martin Cooper, Peter Jeavons and Andrei Krokhin

10:30am-11:30am
- Cholula 3 -

Knowledge Representation 1

• A Theory of Average-Case Compilability in Knowledge Representation.
  Hubie Chen
• LADDER: A Language to Describe Drawing, Display, and Editing in Sketch Recognition.
  Tracy Hammond and Randall Davis

10:30am-11:30am
- Cholula 5 -

Multi-Agent Systems 5: Game Playing

• Distinguished Paper Award. Approximating Game-Theoretic Optimal Strategies for Full-scale Poker.
  D. Billings, N. Burch, A. Davidson, R. Holte, J. Schaeffer, T. Schauenberg and D. Szafron
• Last-Branch and Speculative Pruning Algorithms for Maxn.
  Nathan Sturtevant

10:30am-11:30am
- Cholula 6 -

Constraints and Symmetry

• Efficient Symmetry Breaking for Boolean Satisfiability.
  Fadi A. Aloul, Karem A. Sakallah and Igor L. Markov
• Tractable Symmetry Breaking for CSPs with Interchangeable Values.
  P. van Hentenryck, P. Flener, J. Pearson and M. Ĺgren

11:40am-12:40am
- Cholula 3 -

AI and Data Integration 1

• Learning Value Predictors for the Speculative Execution of Information Gathering Plans.
  Greg Barish and Craig A. Knoblock
• Integrating Multiple Internet Directories by Instance-based Learning.
  Ryutaro Ichise, Hideaki Takeda and Shinichi Honiden

11:40am-12:40am
- Cholula 5 -

Multi-Agent Systems 6: Emergent Behavior

• Emergence of Cooperation in a Pursuit-Evasion Game.
  Geoff Nitschke
• Biologically-Inspired Self-Assembly of Two-Dimensional Shapes Using Global-to-Local Compilation.
  Attila Kondacs

11:40am-12:40am
- Cholula 6 -

Learning 3: Ensembles

• Constructing Diverse Classifier Ensembles using Artificial Training Examples.
  Prem Melville and Raymond J. Mooney
• Monte Carlo Theory as an Explanation of Bagging and Boosting.
  Roberto Esposito and Lorenza Saitta

11:40am-12:40am
- Cholula 7 -