Search

Search Results

• Spectrum-Based Sequential Diagnosis

  Alberto Gonzalez-Sanchez, Rui Abreu, Hans-Gerhard Gross, Arjan J. C. van Gemund

  189-196

  2011-08-04

• Bounded Forgetting

  Yi Zhou, Yan Zhang

  280-285

  2011-08-04

• Deriving a Web-Scale Common Sense Fact Database

  Niket Tandon, Gerard de Melo, Gerhard Weikum

  152-157

  2011-08-04

• Relational Blocking for Causal Discovery

  Matthew Rattigan, Marc Maier, David Jensen

  145-151

  2011-08-04

• CosTriage: A Cost-Aware Triage Algorithm for Bug Reporting Systems

  Jin-woo Park, Mu-Woong Lee, Jinhan Kim, Seung-won Hwang, Sunghun Kim

  139-144

  2011-08-04

• Simulated Annealing Based Influence Maximization in Social Networks

  Qingye Jiang, Guojie Song, Cong Gao, Yu Wang, Wenjun Si, Kunqing Xie

  127-132

  2011-08-04

• Social Recommendation Using Low-Rank Semidefinite Program

  Jianke Zhu, Hao Ma, Chun Chen, Jiajun Bu

  158-163

  2011-08-04

• Tracking User-Preference Varying Speed in Collaborative Filtering

  Ruijiang Li, Bin Li, Cheng Jin, Xiangyang Xue, Xingquan Zhu

  133-138

  2011-08-04

• Analogical Dialogue Acts: Supporting Learning by Reading Analogies in Instructional Texts

  David Barbella, Kenneth Forbus

  1429-1435

  2011-08-04

• Combining Learned Discrete and Continuous Action Models

  Joseph Xu, John Laird

  1449-1454

  2011-08-04

• Contextually-Based Utility: An Appraisal-Based Approach at Modeling Framing and Decisions

  Jonathan Ito, Stacy Marsella

  1442-1448

  2011-08-04

• Cross Media Entity Extraction and Linkage for Chemical Documents

  Su Yan, Scott Spangler, Ying Chen

  1455-1460

  2011-08-04

• Cognitive Synergy between Procedural and Declarative Learning in the Control of Animated and Robotic Agents Using the OpenCogPrime AGI Architecture

  Ben Goertzel, Joel Pitt, Jared Wigmore, Nil Geisweiller, Zhenhua Cai, Ruiting Lian, Deheng Huang, Gino Yu

  1436-1441

  2011-08-04

• A Comparison of Lex Bounds for Multiset Variables in Constraint Programming

  Yat Law, Jimmy Lee, May Hiu Woo, Toby Walsh

  61-67

  2011-08-04

• Optimal Graph Search with Iterated Graph Cuts

  David Burkett, David Hall, Dan Klein

  12-17

  2011-08-04

• Pushing the Power of Stochastic Greedy Ordering Schemes for Inference in Graphical Models

  Kalev Kask, Andrew Gelfand, Lars Otten, Rina Dechter

  54-60

  2011-08-04

• Planning in Domains with Cost Function Dependent Actions

  Mike Phillips, Maxim Likhachev

  74-80

  2011-08-04

• Heuristic Search for Large Problems With Real Costs

  Matthew Hatem, Ethan Burns, Wheeler Ruml

  30-35

  2011-08-04

• Solving Difficult CSPs with Relational Neighborhood Inverse Consistency

  Robert Woodward, Shant Karakashian, Berthe Choueiry, Christian Bessiere

  112-119

  2011-08-04

• The Compressed Differential Heuristic

  Meir Goldenberg, Nathan Sturtevant, Ariel Felner, Jonathan Schaeffer

  24-29

  2011-08-04

• A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT

  Siddhartha Jain, Ashish Sabharwal, Meinolf Sellmann

  48-53

  2011-08-04

• Core-Guided Binary Search Algorithms for Maximum Satisfiability

  Federico Heras, Antonio Morgado, Joao Marques-Silva

  36-41

  2011-08-04

• On the Complexity of BDDs for State Space Search: A Case Study in Connect Four

  Stefan Edelkamp, Peter Kissmann

  18-23

  2011-08-04

• Extensible Automated Constraint Modelling

  Ozgur Akgun, Ian Miguel, Chris Jefferson, Alan Frisch, Brahim Hnich

  4-11

  2011-08-04

• Anytime Nonparametric A*

  Jur van den Berg, Rajat Shah, Arthur Huang, Ken Goldberg

  105-111

  2011-08-04