Search

Search Results

• TONIC: Target Oriented Network Intelligence Collection for the Social Web

  Roni Stern, Liron Samama, Rami Puzis, Tal Beja, Zahy Bnaya, Ariel Felner

  1184-1190

  2013-06-29

• Search-Based Path Planning with Homotopy Class Constraints in 3D

  Subhrajit Bhattacharya, Maxim Likhachev, Vijay Kumar

  2097-2099

  2021-09-20

• A New Operator for ABox Revision in DL-Lite

  Sibei Gao, Guilin Qi, Haofen Wang

  2423-2424

  2021-09-20

• Approximating the Sum Operation for Marginal-MAP Inference

  Qiang Cheng, Feng Chen, Jianwu Dong, Wenli Xu, Alexander Ihler

  1882-1887

  2021-09-20

• Action Selection for MDPs: Anytime AO* Versus UCT

  Blai Bonet, Hector Geffner

  1749-1755

  2021-09-20

• Structural Patterns Beyond Forks: Extending the Complexity Boundaries of Classical Planning

  Michael Katz, Emil Keyder

  1779-1785

  2021-09-20

• Construction of New Medicines via Game Proof Search

  Abraham Heifets, Igor Jurisica

  1564-1570

  2021-09-20

• Dynamic Matching via Weighted Myopia with Application to Kidney Exchange

  John Dickerson, Ariel Procaccia, Tuomas Sandholm

  1340-1346

  2021-09-20

• Security Games for Controlling Contagion

  Jason Tsai, Thanh Nguyen, Milind Tambe

  1464-1470

  2021-09-20

• A Scalable Message-Passing Algorithm for Supply Chain Formation

  Toni Penya-Alba, Meritxell Vinyals, Jesus Cerquides, Juan Rodriguez-Aguilar

  1436-1442

  2021-09-20

• Sentic Activation: A Two-Level Affective Common Sense Reasoning Framework

  Erik Cambria, Daniel Olsher, Kenneth Kwok

  186-192

  2021-09-20

• Predictive Mining of Comparable Entities from the Web

  Myungha Jang, Jin-woo Park, Seung-won Hwang

  66-72

  2021-09-20

• SPARQL Query Containment Under SHI Axioms

  Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda

  10-16

  2021-09-20

• Stopping Rules for Randomized Greedy Triangulation Schemes

  Andrew Gelfand, Kalev Kask, Rina Dechter

  1043-1048

  2011-08-04

• Extending Classical Planning Heuristics to Probabilistic Planning with Dead-Ends

  Florent Teichteil-Königsbuch, Vincent Vidal, Guillaume Infantes

  1017-1022

  2011-08-04

• Optimal Route Planning for Electric Vehicles in Large Networks

  Jochen Eisner, Stefan Funke, Sabine Storandt

  1108-1113

  2011-08-04

• The Next Best Solution

  Ronen Brafman, Enrico Pilotto, Francesca Rossi, Domenico Salvagnin, Kristen Venable, Toby Walsh

  1537-1540

  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

• Search-Based Path Planning with Homotopy Class Constraints

  Subhrajit Bhattacharya

  1230-1237

  2010-07-04

• Gaussian Process Latent Random Field

  Guoqiang Zhong, Wu-Jun Li, Dit-Yan Yeung, Xinwen Hou, Cheng-Lin Liu

  679-684

  2010-07-03

• Coalitional Structure Generation in Skill Games

  Yoram Bachrach, Reshef Meir, Kyomin Jung, Pushmeet Kohli

  703-708

  2010-07-04

• Dominance Testing via Model Checking

  Ganesh Ram Santhanam, Samik Basu, Vasant Honavar

  357-362

  2010-07-03

• Search Space Reduction Using Swamp Hierarchies

  Nir Pochter, Aviv Zohar, Jeffrey Rosenschein, Ariel Felner

  155-160

  2010-07-03

• Coalition Structure Generation based on Distributed Constraint Optimization

  Suguru Ueda, Atsushi Iwasaki, Makoto Yokoo, Marius Silaghi, Katsutoshi Hirayama, Toshihiro Matsui

  197-203

  2010-07-03

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

  Akihiro Kishimoto

  108-113

  2010-07-03