• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 50 matches

• 2006
• 
  Andreas Alexander Albrecht, Kathleen Steinhöfel:
  Run-time Estimates for Protein Folding Simulation in the H-P Model. AI&M 2006
• 
  Christopher Amato, Daniel S. Bernstein, Shlomo Zilberstein:
  Finding Optimal POMDP Controllers Using Quadratically Constrained Linear Programs. AI&M 2006
• 
  Zippora Arzi-Gonczarowski:
  Understanding One Another: Making Out AI Meanings with Boolean Equations. AI&M 2006
• 
  Vincent Auvray, Pierre Geurts, Louis Wehenkel:
  A Semi-Algebraic Description of Naive Bayes Models with Two Hidden Classes. AI&M 2006
• 
  Alexander Bochman:
  Two Paradigms of Nonmonotonic Reasoning. AI&M 2006
• 
  Blai Bonet:
  Bounded Branching and Modalities in Non-Deterministic Planning. AI&M 2006
• 
  Yixin Chen:
  Solving Constrained Nonlinear Optimization Problems Through Constraint Partitioning. AI&M 2006
• 
  Tao Chen, Nevin Lianwen Zhang:
  Quartet-Based Learning of Hierarchical Latent Class Models: Discovery of Shallow Latent Variables. AI&M 2006
• 
  Thomas Dean:
  Hierarchical Bayesian Models of the Primate Visual Cortex. AI&M 2006
• 
  Thomas Dean:
  Scalable Inference in Hierarchical Generative Models. AI&M 2006
• 
  David S. Dean, David Lancaster, Satya N. Majumdar:
  A Statistical Mechanics Approach to Random Euclidean MAX TSP. AI&M 2006
• 
  Jim Delgrande:
  Towards a Rule-Based Interpretation of Conditional Defaults. AI&M 2006
• 
  Dmitri A. Dolgov, Edmund H. Durfee:
  Symmetric Primal-Dual Approximate Linear Programming for Factored MDPs. AI&M 2006
• 
  Prashant Doshi, Piotr J. Gmytrasiewicz:
  On the Difficulty of Achieving Equilibrium in Interactive POMDPs. AI&M 2006
• 
  Zhengzhu Feng:
  Region-Based Dynamic Programming for POMDPs. AI&M 2006
• 
  Valnir Ferreira Jr.:
  Backbone Guided Dynamic Local Search for Propositional Satisfiability. AI&M 2006
• 
  Moshe Fresko, Binyamin Rosenfeld, Ronen Feldman:
  A Hybrid Approach to NER by Integrating Manual Rules into MEMM. AI&M 2006
• 
  Matteo Gagliolo, Jürgen Schmidhuber:
  Dynamic Algorithm Portfolios. AI&M 2006
• 
  Peter Géczy, Shotaro Akaho, Shiro Usui:
  Efficient First Order Superlinear Algorithms. AI&M 2006
• 
  Francesco Di Giunta, Nicola Gatti:
  Bargaining in Bundle over Multiple Issues in Finite-Horizon Alternating-Offers Protocol. AI&M 2006
• 
  Carla P. Gomes:
  Adventures in Randomized Computational Methods. AI&M 2006
• 
  Amy Greenwald, Zheng Li, Casey Marks:
  Bounds for Regret-Matching Algorithms. AI&M 2006
• 
  Péter Hajnal, Zhihao Liu, György Turán:
  Nearest Neighbor Representations of Boolean Functions. AI&M 2006
• 
  Milos Hauskrecht:
  Approximate Linear Programming for Solving Hybrid Factored MDPs. AI&M 2006
• 
  Adele E. Howe:
  Modeling Search for Scheduling. AI&M 2006
• 
  Yannet Interian, Gabriel Corvera, Bart Selman, Ryan Williams:
  Finding Small Unsatisfiable Cores to Prove Unsatisfiability of QBFs. AI&M 2006
• 
  Sven Koenig:
  Search for Robot Navigation under Incomplete Information. AI&M 2006
• 
  Marina Langlois, Robert H. Sloan, György Turán:
  Horn Upper Bounds of Random 3-CNF: A Computational Study. AI&M 2006
• 
  Lihong Li, Thomas J. Walsh, Michael L. Littman:
  Towards a Unified Theory of State Abstraction for MDPs. AI&M 2006
• 
  Inês Lynce, Joël Ouaknine:
  Sudoku as a SAT Problem. AI&M 2006

skipping 20 more matches