|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 15 keywords
|
|
|
Results
Found 225 publication records. Showing 225 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Peter Z. Revesz |
Reformulation and Approximation in Model Checking. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Lorenza Saitta, Jean-Daniel Zucker |
Abstraction and Phase Transitions in Relational Learning. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ellman |
Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gordon S. Novak Jr. |
Interactions of Abstractions in Programming. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Spaccapietra, Christine Parent, Christelle Vangenot |
GIS Databases: From Multiscale to MultiRepresentation. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | István T. Hernádvölgyi, Robert C. Holte |
Experiments with Automatically Created Memory-Based Heuristics. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Carreras, Manuel V. Hermenegildo |
Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | T. K. Satish Kumar |
Synergy between Compositional Modeling and Bayesian Networks. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Marie desJardins, Lise Getoor, Daphne Koller |
Using Feature Hierarchies in Bayesian Network Learning. |
SARA |
2000 |
DBLP BibTeX RDF |
|
1 | Patrick Cousot |
Partial Completeness of Abstract Fixpoint Checking. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Lise Getoor |
Learning Probabilistic Relational Models. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Chen Li 0001 |
Answering Queries with Database Restrictions. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Rui Chen, Min Ouyang, Peter Z. Revesz |
Approximating Data in Constraint Databases. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Yoshiaki Okubo, Makoto Haraguchi, Yan Fang Zheng |
A Method for Finding Consistent Hypotheses Using Abstraction. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Toby Walsh |
Reformulating Propositional Satisfiability as Constraint Satisfaction. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Berthe Y. Choueiry, Toby Walsh (eds.) |
Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | T. K. Satish Kumar |
A Compositional Approach to Causality. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Thomas G. Dietterich |
An Overview of MAXQ Hierarchical Reinforcement Learning. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Terrence P. Fries, James H. Graham |
An Agent-Based Approach to Robust Switching Between Abstraction Levels for Fault Diagnosis. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Eyal Amir, Sheila A. McIlraith |
Improving the Efficiency of Reasoning Through Structure-Based Reformulation. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Frank, Ari K. Jónsson, Paul H. Morris |
On Reformulating Planning as Dynamic Constraint Satisfaction. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire |
A CSP Abstraction Framework. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Bistarelli, Philippe Codognet, Francesca Rossi 0001 |
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Rada Chirkova, Michael R. Genesereth |
Linearly Bounded Reformulations of Unary Databases. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire |
A CSP Abstraction Framework. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #225 of 225 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|