Browse Title Index


 
Scheduled Conference Title
 
Ninth Symposium of Abstraction, Reformulation, and Approximation A Modal View on Abstract Learning and Reasoning Abstract
Henry Soldano
 
Ninth Symposium of Abstraction, Reformulation, and Approximation A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game Abstract
Amanda Swearngin, Berthe Y. Choueiry, Eugene C. Freuder
 
Ninth Symposium of Abstraction, Reformulation, and Approximation A Theory of Abstraction for Diagnosis of Discrete-Event Systems Abstract
Alban Grastien, Gianluca Torta
 
Ninth Symposium of Abstraction, Reformulation, and Approximation Approximate Search on Protein Structures for Identification of Horizontal Gene Transfer in Bacteria Abstract
Swetha Billa, Mark Griep, Peter Revesz
 
Ninth Symposium of Abstraction, Reformulation, and Approximation Automatic Synthesis of Temporal Invariants Abstract
Sara Bernardini, David E. Smith
 
Ninth Symposium of Abstraction, Reformulation, and Approximation Classifying Scientific Publications Using Abstract Features Abstract
Cornelia Caragea, Adrian Silvescu, Saurabh Kataria, Doina Caragea, Prasenjit Mitra
 
Ninth Symposium of Abstraction, Reformulation, and Approximation Does Representation Matter in the Planning Competition? Abstract
Patricia J. Riddle, Robert C. Holte, Michael W. Barley
 
Ninth Symposium of Abstraction, Reformulation, and Approximation Efficient Pseudo-Boolean Satisfiability Encodings for Routing and Wavelength Assignment in Optical Networks Abstract
Miroslav N. Velev, Ping Gao
 
Ninth Symposium of Abstraction, Reformulation, and Approximation Extracting Topological Information from Spatial Constraint Databases Abstract
Shasha Wu, Peter Revesz
 
Ninth Symposium of Abstraction, Reformulation, and Approximation Modular Schemes for Constructing Equivalent Boolean Encodings of Cardinality Constraints and Application to Error Diagnosis in Formal Verification of Pipelined Microprocessors Abstract
Miroslav N. Velev, Ping Gao
 
Ninth Symposium of Abstraction, Reformulation, and Approximation Path Symmetries in Undirected Uniform-Cost Grids Abstract
Daniel Damir Harabor, Adi Botea, Philip Kilby
 
Ninth Symposium of Abstraction, Reformulation, and Approximation Planning with State Uncertainty via Contingency Planning and Execution Monitoring Abstract
Minlue Wang, Richard Dearden
 
Ninth Symposium of Abstraction, Reformulation, and Approximation Preface Abstract
Michael Genesereth, Peter Revesz
 
Ninth Symposium of Abstraction, Reformulation, and Approximation Reformulating Dynamic Linear Constraint Satisfaction Problems as Weighted CSPs for Searching Robust Solutions Abstract
Laura Climent, Miguel Ángel Salido, Federico Barber
 
Ninth Symposium of Abstraction, Reformulation, and Approximation Reformulating R(*, m)C with Tree Decomposition Abstract
Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry
 
Ninth Symposium of Abstraction, Reformulation, and Approximation Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency Abstract
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere
 
Ninth Symposium of Abstraction, Reformulation, and Approximation Reformulation for the Diagnosis of Discrete-Event Systems Abstract
Alban Grastien, Gianluca Torta
 
Ninth Symposium of Abstraction, Reformulation, and Approximation Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem Abstract
Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
 
Ninth Symposium of Abstraction, Reformulation, and Approximation Simultaneous Abstract and Concrete Reinforcement Learning Abstract
Tiago Matos, Yannick P. Bergamo, Valdinei Freire da Silva, Fabio G. Cozman, Anna Helena Reali Costa
 
Ninth Symposium of Abstraction, Reformulation, and Approximation Spatiotemporal Interpolation Methods for Air Pollution Exposure Abstract
Lixin Li, Xingyou Zhang, James B. Holt, Jie Tian, Reinhard Piltner
 
Ninth Symposium of Abstraction, Reformulation, and Approximation The Markov Reformulation Theorem Abstract
Michael Kassoff, Michael R. Genesereth
 
1 - 21 of 21 Items