Search

Search Results

• A Proof-Producing CSP Solver

  Michael Veksler, Ofer Strichman

  204-209

  2010-07-03

• High-Quality Policies for the Canadian Traveler's Problem

  Patrick Eyerich, Thomas Keller, Malte Helmert

  51-58

  2010-07-03

• Exploiting Monotonicity in Interval Constraint Propagation

  Ignacio Araya, Gilles Trombettoni, Bertrand Neveu

  9-14

  2010-07-03

• Transmission Network Expansion Planning with Simulation Optimization

  Russell Bent, Alan Berscheid, G. Loren Toole

  21-26

  2010-07-03

• EWLS: A New Local Search for Minimum Vertex Cover

  Shaowei Cai, Kaile Su, Qingliang Chen

  45-50

  2010-07-03

• Optimal Rectangle Packing on Non-Square Benchmarks

  Eric Huang, Richard Korf

  83-88

  2010-07-03

• New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter

  Junping Zhou, Minghao Yin, Chunguang Zhou

  217-222

  2010-07-03

• An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem

  Chu-Min Li, Zhe Quan

  128-133

  2010-07-03

• A First Practical Algorithm for High Levels of Relational Consistency

  Shant Karakashian, Robert Woodward, Christopher Reeson, Berthe Choueiry, Christian Bessiere

  101-107

  2010-07-03

• Dealing with Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number Search

  Akihiro Kishimoto

  108-113

  2010-07-03

• The Tree Representation of Feasible Solutions for the TSP with Pickup and Delivery and LIFO Loading

  Dejian Tu, Songshan Guo, Hu Qin, Wee-Chong Oon, Andrew Lim

  191-196

  2010-07-03

• Computing Cost-Optimal Definitely Discriminating Tests

  Anika Schumann, Jinbo Huang, Martin Sachenbacher

  161-166

  2010-07-03

• Collusion Detection in Online Bridge

  Jeff Yan

  1510-1515

  2010-07-05

• Automated Modelling and Solving in Constraint Programming

  Barry O'Sullivan

  1493-1497

  2010-07-05

• Ad Hoc Autonomous Agent Teams: Collaboration without Pre-Coordination

  Peter Stone, Gal Kaminka, Sarit Kraus, Jeffrey Rosenschein

  1504-1509

  2010-07-05

• Hidden Market Design

  Sven Seuken, Kamal Jain, David Parkes

  1498-1503

  2010-07-05

• Fast Algorithms for Top-k Approximate String Matching

  Zhenglu Yang, Jianjun Yu, Masaru Kitsuregawa

  1467-1473

  2010-07-05

• PR + RQ ≈ PQ: Transliteration Mining Using Bridge Language

  Mitesh Khapra, Raghavendra Udupa, A. Kumaran, Pushpak Bhattacharyya

  1346-1351

  2010-07-05

• Integrity Constraints in OWL

  Jiao Tao, Evren Sirin, Jie Bao, Deborah McGuinness

  1443-1448

  2010-07-05

• UserRec: A User Recommendation Framework in Social Tagging Systems

  Tom Zhou, Hao Ma, Michael Lyu, Irwin King

  1486-1491

  2010-07-05

• Sentiment Analysis with Global Topics and Local Dependency

  Fangtao Li, Minlie Huang, Xiaoyan Zhu

  1371-1376

  2010-07-05

• Materializing and Persisting Inferred and Uncertain Knowledge in RDF Datasets

  James McGlothlin, Latifur Khan

  1405-1412

  2010-07-05

• Adopting Inference Networks for Online Thread Retrieval

  Sumit Bhatia, Prasenjit Mitra

  1300-1305

  2010-07-05

• Utilizing Context in Generative Bayesian Models for Linked Corpus

  Saurabh Kataria, Prasenjit Mitra, Sumit Bhatia

  1340-1345

  2010-07-05

• Toward an Architecture for Never-Ending Language Learning

  Andrew Carlson, Justin Betteridge, Bryan Kisiel, Burr Settles, Estevam Hruschka, Tom Mitchell

  1306-1313

  2010-07-05