The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on Abstraction, Reformulation and Approximation (SARA) (sara)
2000 (conf/sara/2000)

  1. Patrick Cousot
    Partial Completeness of Abstract Fixpoint Checking. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:1-25 [Conf]
  2. Thomas G. Dietterich
    An Overview of MAXQ Hierarchical Reinforcement Learning. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:26-44 [Conf]
  3. Richard E. Korf
    Recent Progress in the Design and Analysis of Admissible Heuristic Functions. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:45-55 [Conf]
  4. Stefano Spaccapietra, Christine Parent, Christelle Vangenot
    GIS Databases: From Multiscale to MultiRepresentation. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:57-70 [Conf]
  5. Stefano Bistarelli, Philippe Codognet, Francesca Rossi
    An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:71-86 [Conf]
  6. Isabelle Bournaud, Mélanie Courtine, Jean-Daniel Zucker
    Abstractions for Knowledge Organization of Relational Descriptions. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:87-106 [Conf]
  7. Carlos Carreras, Manuel V. Hermenegildo
    Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:107-123 [Conf]
  8. Rui Chen, Min Ouyang, Peter Z. Revesz
    Approximating Data in Constraint Databases. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:124-143 [Conf]
  9. Rada Chirkova, Michael R. Genesereth
    Linearly Bounded Reformulations of Unary Databases. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:144-163 [Conf]
  10. Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire
    A CSP Abstraction Framework. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:164-184 [Conf]
  11. Gordon S. Novak Jr.
    Interactions of Abstractions in Programming. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:185-201 [Conf]
  12. Peter Z. Revesz
    Reformulation and Approximation in Model Checking. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:202-218 [Conf]
  13. William T. B. Uther, Manuela M. Veloso
    The Lumberjack Algorithm for Learning Linked Decision Forests. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:219-232 [Conf]
  14. Toby Walsh
    Reformulating Propositional Satisfiability as Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:233-246 [Conf]
  15. Eyal Amir, Sheila A. McIlraith
    Improving the Efficiency of Reasoning Through Structure-Based Reformulation. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:247-259 [Conf]
  16. Marie desJardins, Lise Getoor, Daphne Koller
    Using Feature Hierarchies in Bayesian Network Learning. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:260-270 [Conf]
  17. Jeremy Frank, Ari K. Jónsson, Paul H. Morris
    On Reformulating Planning as Dynamic Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:271-280 [Conf]
  18. István T. Hernádvölgyi, Robert C. Holte
    Experiments with Automatically Created Memory-Based Heuristics. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:281-290 [Conf]
  19. Lorenza Saitta, Jean-Daniel Zucker
    Abstraction and Phase Transitions in Relational Learning. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:291-302 [Conf]
  20. Terrence P. Fries, James H. Graham
    An Agent-Based Approach to Robust Switching Between Abstraction Levels for Fault Diagnosis. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:303-308 [Conf]
  21. T. K. Satish Kumar
    A Compositional Approach to Causality. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:309-312 [Conf]
  22. Yoshiaki Okubo, Makoto Haraguchi, Yan Fang Zheng
    A Method for Finding Consistent Hypotheses Using Abstraction. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:313-316 [Conf]
  23. Thomas Ellman
    Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:317-319 [Conf]
  24. David Furcy
    Using and Learning Abstraction Hierarchies for Planning. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:320-321 [Conf]
  25. Lise Getoor
    Learning Probabilistic Relational Models. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:322-323 [Conf]
  26. T. K. Satish Kumar
    Synergy between Compositional Modeling and Bayesian Networks. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:324-325 [Conf]
  27. Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire
    A CSP Abstraction Framework. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:326-327 [Conf]
  28. Chen Li
    Answering Queries with Database Restrictions. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:328-329 [Conf]
  29. Gordon S. Novak Jr.
    Research Summary. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:330-331 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002