2012 |
Document Summarization Based on Data Reconstruction |
Zhanying He, Zhejiang University; et al. |
Learning SVM Classiiers with Indeinite Kernels |
Suicheng Gu & Yuhong Guo, Temple University |
2011 |
Dynamic Resource Allocation in Conservation Planning |
Daniel Golovin, California Institute of Technology; et al. |
Complexity of and Algorithms for Borda Manipulation |
Jessica Davies, University of Toronto; et al. |
2010 |
How Incomplete Is Your Semantic Web Reasoner? Systematic Analysis of the Completeness of Query Ans... |
Giorgos Stoilos, Oxford University; et al. |
A Novel Transition Based Encoding Scheme for Planning as Satisfiability |
Ruoyun Huang, Washington University in St. Louis; et al. |
2008 |
How Good is Almost Perfect? |
Malte Helmert & Gabriele Röger, Albert-Ludwigs-Universität Freiburg |
Optimal False-Name-Proof Voting Rules with Costly Voting |
Liad Wagman & Vincent Conitzer, Duke University |
2007 |
PLOW: A Collaborative Task Learning Agent |
James Allen, Institute for Human and Machine Cognition; et al. |
Thresholded Rewards: Acting Optimally in Timed, Zero-Sum Games |
Colin McMillen & Manuela Veloso, Carnegie Mellon University |
2006 |
Model Counting: A New Strategy for Obtaining Good Bounds |
Carla P. Gomes, Cornell University; et al. |
Towards an Axiom System for Default Logic |
Gerhard Lakemeyer, RWTH Aachen University |
2005 |
The Max K- Armed Bandit: A New Model of Exploration Applied to Search Heuristic Selection |
Vincent A. Cicirello, Drexel University |
2004 |
Learning and Inferring Transportation Routines |
Lin Liao, University of Washington; et al.
|
2002 |
On Computing All Abductive Explanations |
Thomas Eiter, Technische Universität Wien |
2000 |
The Game of Hex: An Automatic Theorem-Proving Approach to Game Programming |
Vadim V. Anshelevich, Vanshel Consulting |
1999 |
PROVERB: The Probabilistic Cruciverbalist |
Greg A. Keim, Duke University; et al. |
1998 |
Learning Evaluation Functions for Global Optimization and Boolean Satisfiability |
Justin A. Boyan & Andrew W. Moore, Carnegie Mellon University |
Acceleration Methods for Numeric CSPs |
Yahia Lebbah & Olivier Lhomme, Ecole des Mines de Nantes |
The Interactive Museum Tour-Guide Robot |
Wolfram Burgard, University of Bonn; et al. |
1997 |
Statistical Parsing with a Context-Free Grammar and Word Statistics |
Eugene Charniak, Brown University |
A Practical Algorithm for Finding Optimal Triangulations |
Krill Shoikhet & Dan Geiger, Technion |
Fast Context Switching in Real-Time Propositional Reasoning |
P. Pandurang Nayak & Brian C. Williams, NASA Ames Research Center |
Building Concept Representations from Reusable Components |
Peter Clark, Boeing |
1996 |
Verification of Knowledge Bases Based on Containment Checking |
Alon Y. Levy, AT&T Laboratories |
A Novel Application of Theory Refinement to Student Modeling |
Paul T. Baffes, SciComp |
Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search |
Henry Kautz & Bart Selman, AT&T Laboratories |