|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 88 | Xiangxue Jia, Jian Zhang 0001 |
A Powerful Technique to Eliminate Isomorphism in Finite Model Search.  |
IJCAR  |
2006 |
DBLP DOI BibTeX RDF |
LNH, DASH, scheme, Isomorphism, symmetry breaking |
| 51 | Gilles Audemard, Belaid Benhamou |
Reasoning by Symmetry and Function Ordering in Finite Model Generation. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
| 25 | Gilles Audemard, Belaid Benhamou, Laurent Henocque |
Predicting and Detecting Symmetries in FOL Finite Model Search. |
J. Autom. Reason. |
2006 |
DBLP DOI BibTeX RDF |
symmetry, constraint programming, finite models |
| 25 | Thierry Boy de la Tour |
A Note on Symmetry Heuristics in SEM. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
| 25 | Tao Chen 0044, Li-Hui Chen 0001, Kai-Kuang Ma |
Colour Image Indexing Using SOM for Region-of-Interest Retrieval. |
Pattern Anal. Appl. |
1999 |
DBLP DOI BibTeX RDF |
Local neighbourhood histogram, Content-based retrieval, Region-Of-Interest, Image indexing, Self-Organising Map |
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license