Search

Search Results

• Succinct Set-Encoding for State-Space Search

  Tim Schmidt, Rong Zhou

  87-92

  2011-08-04

• Limits of Preprocessing

  Stefan Szeider

  93-98

  2011-08-04

• Inner Regions and Interval Linearizations for Global Optimization

  Gilles Trombettoni, Ignacio Araya, Bertrand Neveu, Gilles Chabert

  99-104

  2011-08-04

• Euclidean Heuristic Optimization

  D. Chris Rayner, Michael Bowling, Nathan Sturtevant

  81-86

  2011-08-04

• Optimal Packing of High-Precision Rectangles

  Eric Huang, Richard Korf

  42-47

  2011-08-04

• Block A*: Database-Driven Search with Applications in Any-Angle Path-Planning

  Peter Yap, Neil Burch, Robert Holte, Jonathan Schaeffer

  120-125

  2011-08-04

• Distributed Constraint Optimization Under Stochastic Uncertainty

  Thomas Léauté, Boi Faltings

  68-73

  2011-08-04

• Modeling and Monitoring Crop Disease in Developing Countries

  John Quinn, Kevin Leyton-Brown, Ernest Mwebaze

  1390-1395

  2011-08-04

• Learned Behaviors of Multiple Autonomous Agents in Smart Grid Markets

  Prashant Reddy, Manuela Veloso

  1396-1401

  2011-08-04

• The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple Species

  Katherine Lai, Carla Gomes, Michael Schwartz, Kevin McKelvey, David Calkin, Claire Montgomery

  1357-1364

  2011-08-04

• Water Conservation Through Facilitation on Residential Landscapes

  Rhonda Hoenigman, Elizabeth Bradley, Nichole Barger

  1337-1342

  2011-08-04

• A Large-Scale Study on Predicting and Contextualizing Building Energy Usage

  J. Kolter, Joseph Ferreira

  1349-1356

  2011-08-04

• Enforcing Liveness in Autonomous Traffic Management

  Tsz-Chiu Au, Neda Shahidi, Peter Stone

  1317-1322

  2011-08-04

• Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach

  Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant Honavar

  1408-1414

  2011-08-04

• Discovering Life Cycle Assessment Trees from Impact Factor Databases

  Naren Sundaravaradan, Debprakash Patnaik, Naren Ramakrishnan, Manish Marwah, Amip Shah

  1415-1420

  2011-08-04

• Stochastic Model Predictive Controller for the Integration of Building Use and Temperature Regulation

  Alie El-Din Mady, Gregory Provan, Conor Ryan, Kenneth Brown

  1371-1376

  2011-08-04

• Efficient Energy-Optimal Routing for Electric Vehicles

  Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr

  1402-1407

  2011-08-04

• Incorporating Boosted Regression Trees into Ecological Latent Variable Models

  Rebecca Hutchinson, Li-Ping Liu, Thomas Dietterich

  1343-1348

  2011-08-04

• Hybrid Planning with Temporally Extended Goals for Sustainable Ocean Observing

  Hui Li, Brian Williams

  1365-1370

  2011-08-04

• Logistic Methods for Resource Selection Functions and Presence-Only Species Distribution Models

  Steven Phillips, Jane Elith

  1384-1389

  2011-08-04

• Green Driver: AI in a Microcosm

  Jim Apple, Paul Chang, Aran Clauson, Heidi Dixon, Hiba Fakhoury, Matthew Ginsberg, Erin Keenan, Alex Leighton, Kevin Scavezze, Bryan Smith

  1311-1316

  2011-08-04

• Policy Gradient Planning for Environmental Decision Making with Existing Simulators

  Mark Crowley, David Poole

  1323-1330

  2011-08-04

• Decentralised Control of Micro-Storage in the Smart Grid

  Thomas Voice, Perukrishnen Vytelingum, Sarvapali Ramchurn, Alex Rogers, Nicholas Jennings

  1421-1427

  2011-08-04

• Dynamic Resource Allocation in Conservation Planning

  Daniel Golovin, Andreas Krause, Beth Gardner, Sarah Converse, Steve Morey

  1331-1336

  2011-08-04

• Linear Dynamic Programs for Resource Management

  Marek Petrik, Shlomo Zilberstein

  1377-1383

  2011-08-04