메뉴 건너뛰기




Volumn 1, Issue 1, 2008, Pages 364-375

Taming verification hardness: An efficient algorithm for testing subgraph isomorphism

Author keywords

[No Author keywords available]

Indexed keywords

GRAPHIC METHODS; SEMANTICS;

EID: 84859197018     PISSN: None     EISSN: 21508097     Source Type: Conference Proceeding    
DOI: 10.14778/1453856.1453899     Document Type: Article
Times cited : (374)

References (21)
  • 2
    • 84892698945 scopus 로고    scopus 로고
    • Graph isomorphism is low for zpp(np) and other lowness results
    • V. Arvind and J. Köbler. Graph isomorphism is low for zpp(np) and other lowness results. In STACS, pages 431-442, 2000.
    • (2000) STACS , pp. 431-442
    • Arvind, V.1    Köbler, J.2
  • 3
    • 0035481209 scopus 로고    scopus 로고
    • Efficient matching and indexing of graph models in content-based retrieval
    • S. Berretti, A. D. Bimbo, and E. Vicario. Efficient matching and indexing of graph models in content-based retrieval. IEEE Trans. Pattern Anal. Mach. Intell., 23(10):1089-1105, 2001.
    • (2001) IEEE Trans. Pattern Anal. Mach. Intell , vol.23 , Issue.10 , pp. 1089-1105
    • Berretti, S.1    Bimbo, A.D.2    Vicario, E.3
  • 5
    • 21844454174 scopus 로고    scopus 로고
    • Canonical forms for labelled trees and their applications in frequent subtree mining
    • Y. Chi, Y. Yang, and R. R. Muntz. Canonical forms for labelled trees and their applications in frequent subtree mining. Knowl. Inf. Syst., 8(2):203-234, 2005
    • (2005) Knowl. Inf. Syst. , vol.8 , Issue.2 , pp. 203-234
    • Chi, Y.1    Yang, Y.2    Muntz, R.R.3
  • 11
    • 0001173632 scopus 로고    scopus 로고
    • An automatic method of solving discrete programming problems
    • A. H. Land and A. G. Doig. An automatic method of solving discrete programming problems. Econometrica, 28(3):497-520.
    • Econometrica , vol.28 , Issue.3 , pp. 497-520
    • Land, A.H.1    Doig, A.G.2
  • 12
    • 0032708360 scopus 로고    scopus 로고
    • A decision tree approach to graph and subgraph isomorphism detection
    • B. T. Messmer and H. Bunke. A decision tree approach to graph and subgraph isomorphism detection. Pattern Recognition, 32(12):1979-1998, 1999.
    • (1999) Pattern Recognition , vol.32 , Issue.12 , pp. 1979-1998
    • Messmer, B.T.1    Bunke, H.2
  • 13
    • 0016870630 scopus 로고
    • An algorithm for subgraph isomorphism
    • J. R. Ullmann. An algorithm for subgraph isomorphism. J. ACM, 23(1):31-42, 1976.
    • (1976) J. ACM , vol.23 , Issue.1 , pp. 31-42
    • Ullmann, J.R.1
  • 19
    • 38349170441 scopus 로고    scopus 로고
    • Fast frequent free tree mining in graph databases
    • P. Zhao and J. X. Yu. Fast frequent free tree mining in graph databases. World Wide Web, 11(1):71-92, 2008
    • (2008) World Wide Web , vol.11 , Issue.1 , pp. 71-92
    • Zhao, P.1    Yu, J.X.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.