Search results for "SARA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	John N. Hooker	A Framework for Integrating Optimization and Constraint Programming.	SARA	2007	DBLP DOI BibTeX RDF
1	Pavel Surynek	Solving Difficult SAT Instances Using Greedy Clique Decomposition.	SARA	2007	DBLP DOI BibTeX RDF	difficult instances, search, consistency, SAT, clique
1	Santiago Macho González, Pedro Meseguer	Boosting MUS Extraction.	SARA	2007	DBLP DOI BibTeX RDF
1	David C. Haley	Rule-Based Reasoning Via Abstraction.	SARA	2007	DBLP DOI BibTeX RDF
1	Rong Zhou 0001	Leveraging Graph Locality Via Abstraction.	SARA	2007	DBLP DOI BibTeX RDF
1	Roman Barták	Generating Implied Boolean Constraints Via Singleton Consistency.	SARA	2007	DBLP DOI BibTeX RDF	implied constraints, singleton consistency, SAT, reformulation
1	Vadim Bulitko	State Abstraction in Real-Time Heuristic Search.	SARA	2007	DBLP DOI BibTeX RDF
1	Nicholas K. Jong, Peter Stone	Model-Based Exploration in Continuous State Spaces.	SARA	2007	DBLP DOI BibTeX RDF
1	Eric Schkufza	Decomposition of Games for Efficient Reasoning.	SARA	2007	DBLP DOI BibTeX RDF
1	Zina M. Ibrahim, Ahmed Y. Tawfik	An Abstract Theory and Ontology of Motion Based on the Regions Connection Calculus.	SARA	2007	DBLP DOI BibTeX RDF
1	Alan M. Frisch	Abstraction and Reformulation in the Generation of Constraint Models.	SARA	2007	DBLP DOI BibTeX RDF
1	Ian P. Gent, Ian Miguel, Andrea Rendl	Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion.	SARA	2007	DBLP DOI BibTeX RDF
1	Timothy L. Hinrichs, Michael R. Genesereth	Reformulation for Extensional Reasoning.	SARA	2007	DBLP DOI BibTeX RDF
1	Stijn De Saeger, Atsushi Shimojima	Channeling Abstraction.	SARA	2007	DBLP DOI BibTeX RDF
1	Broderick Crawford, Carlos Castro 0001, Éric Monfroy	Integration of Constraint Programming and Metaheuristics.	SARA	2007	DBLP DOI BibTeX RDF
1	Hadrien Cambazard, Barry O'Sullivan	A Reformulation-Based Approach to Explanation in Constraint Satisfaction.	SARA	2007	DBLP DOI BibTeX RDF
1	Martin Michalowski, Craig A. Knoblock, Berthe Y. Choueiry	Reformulating Constraint Models Using Input Data.	SARA	2007	DBLP DOI BibTeX RDF
1	Peter Schachte, Harald Søndergaard	Boolean Approximation Revisited.	SARA	2007	DBLP DOI BibTeX RDF
1	Peep Küngas	Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies.	SARA	2005	DBLP DOI BibTeX RDF
1	Zina M. Ibrahim, Ahmed Y. Tawfik	A Qualitative Spatio-temporal Abstraction of a Disaster Space.	SARA	2005	DBLP DOI BibTeX RDF
1	Jean-Daniel Zucker, Lorenza Saitta (eds.)	Abstraction, Reformulation and Approximation, 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings	SARA	2005	DBLP DOI BibTeX RDF
1	Sylvain Gelly, Nicolas Bredèche, Michèle Sebag	From Factorial and Hierarchical HMM to Bayesian Network: A Representation Change Algorithm.	SARA	2005	DBLP DOI BibTeX RDF
1	Özgür Simsek, Andrew G. Barto	Learning Skills in Reinforcement Learning Using Relative Novelty.	SARA	2005	DBLP DOI BibTeX RDF
1	Masoumeh T. Izadi	Sequential Decision Making Under Uncertainty.	SARA	2005	DBLP DOI BibTeX RDF
1	Michael Ramati, Yuval Shahar	Probabilistic Abstraction of Uncertain Temporal Data for Multiple Subjects.	SARA	2005	DBLP DOI BibTeX RDF
1	Marc Pickett, Tim Oates 0001	The Cruncher: Automatic Concept Formation Using Minimum Description Length.	SARA	2005	DBLP DOI BibTeX RDF
1	Scot Anderson, Peter Z. Revesz	Verifying the Incorrectness of Programs and Automata.	SARA	2005	DBLP DOI BibTeX RDF
1	Chris Unsworth, Patrick Prosser	A Specialised Binary Constraint for the Stable Marriage Problem.	SARA	2005	DBLP DOI BibTeX RDF
1	Juan-Antonio Fernández-Madrigal, Javier Gonzalez 0001, Cipriano Galindo	Abstraction and Multiple Abstraction in the Symbolic Modeling of the Environment of Mobile Robots.	SARA	2005	DBLP DOI BibTeX RDF
1	Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh	Transforming and Refining Abstract Constraint Specifications.	SARA	2005	DBLP DOI BibTeX RDF
1	Nathan R. Sturtevant, Vadim Bulitko, Michael Buro	Automatic State Abstraction for Pathfinding in Real-Time Video Games.	SARA	2005	DBLP DOI BibTeX RDF
1	Robert Zimmer	Abstract Representation in Painting and Computing.	SARA	2005	DBLP DOI BibTeX RDF
1	Aristide Mingozzi	The Multi-depot Periodic Vehicle Routing Problem.	SARA	2005	DBLP DOI BibTeX RDF
1	Arriel Benis	Categorizing Gene Expression Correlations with Bioclinical Data: An Abstraction Based Approach.	SARA	2005	DBLP DOI BibTeX RDF
1	Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren 0002	Compositional Derivation of Symmetries for Constraint Satisfaction.	SARA	2005	DBLP DOI BibTeX RDF
1	Wheeler Ruml	Model-Based Search.	SARA	2005	DBLP DOI BibTeX RDF
1	Dae-Ki Kang, Jun Zhang 0002, Adrian Silvescu, Vasant G. Honavar	Multinomial Event Model Based Abstraction for Sequence and Text Classification.	SARA	2005	DBLP DOI BibTeX RDF
1	Natalia N. Beliaeva, Shlomo Zilberstein	Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains.	SARA	2005	DBLP DOI BibTeX RDF
1	Blaise Hanczar	Combining Feature Selection and Feature Construction to Improve Concept Learning for High Dimensional Data.	SARA	2005	DBLP DOI BibTeX RDF
1	Jonathan Teutenberg, Mike Barley	Creating Better Abstract Operators.	SARA	2005	DBLP DOI BibTeX RDF
1	Toni Mancini, Marco Cadoli	Detecting and Breaking Symmetries by Reasoning on Problem Specifications.	SARA	2005	DBLP DOI BibTeX RDF
1	Feihong Wu, Jun Zhang 0002, Vasant G. Honavar	Learning Classifiers Using Hierarchically Structured Class Taxonomies.	SARA	2005	DBLP DOI BibTeX RDF
1	Ariel Felner, Amir Adler	Solving the 24 Puzzle with Instance Dependent Pattern Databases.	SARA	2005	DBLP DOI BibTeX RDF
1	Foto N. Afrati, Rada Chirkova, Manolis Gergatsoulis, Vassia Pavlaki	Designing Views to Efficiently Answer Real SQL Queries.	SARA	2005	DBLP DOI BibTeX RDF
1	Jia-Hong Wu, Robert Givan	Feature-Discovering Approximate Value Iteration Methods.	SARA	2005	DBLP DOI BibTeX RDF
1	Tom Carchrae, J. Christopher Beck	Learning Abstract Scheduling Models.	SARA	2005	DBLP DOI BibTeX RDF
1	Kairong Qian, Albert Nymeyer, Steven Susanto	Experiments with Multiple Abstraction Heuristics in Symbolic Verification.	SARA	2005	DBLP DOI BibTeX RDF
1	Gregory M. Provan	Approximate Model-Based Diagnosis Using Preference-Based Compilation.	SARA	2005	DBLP DOI BibTeX RDF
1	Alexander A. Sherstov, Peter Stone	Function Approximation via Tile Coding: Automating Parameter Choice.	SARA	2005	DBLP DOI BibTeX RDF
1	Alberto Delgado, Jorge Andrés Pérez, Camilo Rueda	Implementing an Abstraction Framework for Soft Constraints.	SARA	2005	DBLP DOI BibTeX RDF
1	Robert C. Holte, Jeffery Grajkowski, Brian Tanner	Hierarchical Heuristic Search Revisited.	SARA	2005	DBLP DOI BibTeX RDF
1	Abdelbaki Bouguerra, Lars Karlsson	Synthesizing Plans for Multiple Domains.	SARA	2005	DBLP DOI BibTeX RDF
1	Krysia Broda, Christopher J. Hogger	Abstract Policy Evaluation for Reactive Agents.	SARA	2005	DBLP DOI BibTeX RDF
1	Ugo Galassi, Attilio Giordana	Learning Regular Expressions from Noisy Sequences.	SARA	2005	DBLP DOI BibTeX RDF
1	Kwok-Wing Chau	Knowledge Acquisition on Manipulation of Flow and Water Quality Models.	SARA	2005	DBLP DOI BibTeX RDF
1	Aristide Mingozzi	State Space Relaxation and Search Strategies in Dynamic Programming.	SARA	2002	DBLP DOI BibTeX RDF
1	Marc Pickett	Research Summary.	SARA	2002	DBLP DOI BibTeX RDF
1	Darse Billings	Abstracting Imperfect Information Game Trees.	SARA	2002	DBLP DOI BibTeX RDF
1	Ilya Levner, Vadim Bulitko, Omid Madani, Russell Greiner	Performance of Lookahead Control Policies in the Face of Abstractions and Approximations.	SARA	2002	DBLP DOI BibTeX RDF
1	J. Christopher Beck, Patrick Prosser, Evgeny Selensky	On the Reformulation of Vehicle Routing Problems and Scheduling Problems.	SARA	2002	DBLP DOI BibTeX RDF
1	Meeko Oishi	Interface Verification: Discrete Abstractions of Hybrid Systems.	SARA	2002	DBLP DOI BibTeX RDF
1	Irit Askira Gelman	Research Summary: Abstraction Techniques, and Their Value.	SARA	2002	DBLP DOI BibTeX RDF
1	Lin Xu	Reformulation of Temporal Constraint Networks.	SARA	2002	DBLP DOI BibTeX RDF
1	William T. B. Uther, Manuela M. Veloso	TTree: Tree-Based State Generalization with Temporally Abstract Actions.	SARA	2002	DBLP DOI BibTeX RDF
1	Berthe Y. Choueiry, Amy M. Davis	Dynamic Bundling: Less Effort for More Solutions.	SARA	2002	DBLP DOI BibTeX RDF
1	Robert Glaubius	Reformulation of Non-binary Constraints.	SARA	2002	DBLP DOI BibTeX RDF
1	Bradley J. Clement	Abstract Reasoning for Planning and Coordination.	SARA	2002	DBLP DOI BibTeX RDF
1	Yoshiaki Okubo, Xiaobo Li 0001	Learning Semi-Lattice Codebooks for Image Compression.	SARA	2002	DBLP DOI BibTeX RDF
1	T. K. Satish Kumar, Richard Dearden	The Oracular Constraints Method.	SARA	2002	DBLP DOI BibTeX RDF
1	Martin Stolle, Doina Precup	Learning Options in Reinforcement Learning.	SARA	2002	DBLP DOI BibTeX RDF
1	Robert P. Kurshan	Model Checking and Abstraction.	SARA	2002	DBLP DOI BibTeX RDF
1	Jun Zhang 0002, Adrian Silvescu, Vasant G. Honavar	Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstraction.	SARA	2002	DBLP DOI BibTeX RDF
1	Adi Botea	Using Abstraction for Heuristic Search and Planning.	SARA	2002	DBLP DOI BibTeX RDF
1	Aarati Parmar	Formalizing Approximate Objects and Theories: Some Initial Results.	SARA	2002	DBLP DOI BibTeX RDF
1	Balaraman Ravindran, Andrew G. Barto	Model Minimization in Hierarchical Reinforcement Learning.	SARA	2002	DBLP DOI BibTeX RDF
1	Michael Heymann, Asaf Degani	On the Construction of Human-Automation Interfaces by Formal Abstraction.	SARA	2002	DBLP DOI BibTeX RDF
1	Amy McGovern	Autonomous Discovery of Abstractions through Interaction with an Environment.	SARA	2002	DBLP DOI BibTeX RDF
1	Supratik Mukhopadhyay, Andreas Podelski	An Algebraic Framework for Abstract Model Checking.	SARA	2002	DBLP DOI BibTeX RDF
1	Derek Long, Maria Fox 0001, Muna Hamdi	Reformulation in Planning.	SARA	2002	DBLP DOI BibTeX RDF
1	Lina Khatib, Paul H. Morris, Robert A. Morris 0001	Pareto Optimization of Temporal Decisions.	SARA	2002	DBLP DOI BibTeX RDF
1	Sridhar Mahadevan	Spatiotemporal Abstraction of Stochastic Sequential Processes.	SARA	2002	DBLP DOI BibTeX RDF
1	Todd W. Neller	Action Timing Discretization with Iterative-Refinement.	SARA	2002	DBLP DOI BibTeX RDF
1	Tristan Cazenave	Admissible Moves in Two-Player Games.	SARA	2002	DBLP DOI BibTeX RDF
1	Xuan-Ha Vu, Djamila Sam-Haroud, Marius-Calin Silaghi	Approximation Techniques for Non-linear Problems with Continuum of Solutions.	SARA	2002	DBLP DOI BibTeX RDF
1	Wheeler Ruml	Principled Exploitation of Heuristic Information.	SARA	2002	DBLP DOI BibTeX RDF
1	Sven Koenig, Robert C. Holte (eds.)	Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings	SARA	2002	DBLP DOI BibTeX RDF
1	Eric A. Hansen, Rong Zhou 0001, Zhengzhu Feng	Symbolic Heuristic Search Using Decision Diagrams.	SARA	2002	DBLP DOI BibTeX RDF
1	Bruno Apolloni, Fabio Baraghini, Giorgio Palmas	PAC Meditation on Boolean Formulas.	SARA	2002	DBLP DOI BibTeX RDF
1	Jean-Daniel Zucker, Nicolas Bredèche, Lorenza Saitta	Abstracting Visual Percepts to Learn Concepts.	SARA	2002	DBLP DOI BibTeX RDF
1	Michael H. Bowling	Approximation Techniques in Multiagent Learning.	SARA	2002	DBLP DOI BibTeX RDF
1	T. K. Satish Kumar	An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection.	SARA	2002	DBLP DOI BibTeX RDF
1	Daniel Buettner	Abstraction and Reformulation in GraphPlan.	SARA	2002	DBLP DOI BibTeX RDF
1	Daniel P. Miranker, Malcolm C. Taylor, Anand Padmanaban	A Tractable Query Cache by Approximation.	SARA	2002	DBLP DOI BibTeX RDF
1	Bruno Zanuttini	Approximation of Relations by Propositional Formulas: Complexity and Semantics.	SARA	2002	DBLP DOI BibTeX RDF
1	T. K. Satish Kumar	Reformulating Combinatorial Optimization as Constraint Satisfaction.	SARA	2002	DBLP DOI BibTeX RDF
1	Gordon S. Novak Jr.	Research Summary.	SARA	2000	DBLP DOI BibTeX RDF
1	William T. B. Uther, Manuela M. Veloso	The Lumberjack Algorithm for Learning Linked Decision Forests.	SARA	2000	DBLP DOI BibTeX RDF
1	Richard E. Korf	Recent Progress in the Design and Analysis of Admissible Heuristic Functions.	SARA	2000	DBLP DOI BibTeX RDF
1	Isabelle Bournaud, Mélanie Courtine, Jean-Daniel Zucker	Abstractions for Knowledge Organization of Relational Descriptions.	SARA	2000	DBLP DOI BibTeX RDF	Unsupervised learning, Reformulation, Relational data
1	David Furcy	Using and Learning Abstraction Hierarchies for Planning.	SARA	2000	DBLP DOI BibTeX RDF

Publications at "SARA"( http://dblp.L3S.de/Venues/SARA )