메뉴 건너뛰기




Volumn 3920 LNCS, Issue , 2006, Pages 426-440

Simulation-based graph similarity

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION STOCHASTIC GAMES; LABELED TRANSITION SYSTEMS; POLYNOMIAL-TIME ALGORITHM; SIMULATION-BASED GRAPH;

EID: 33745770038     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11691372_28     Document Type: Conference Paper
Times cited : (52)

References (18)
  • 2
    • 11344278195 scopus 로고    scopus 로고
    • A measure of similarity between graph vertices: Applications to synonym extraction and web searching
    • V. D. Blondel, A. Gajardo, M. Heymans, P. Senellart, and P. Van Dooren. A measure of similarity between graph vertices: Applications to synonym extraction and web searching. SIAM Review, 46(4):64 7-666, 2004.
    • (2004) SIAM Review , vol.46 , Issue.4 , pp. 647-666
    • Blondel, V.D.1    Gajardo, A.2    Heymans, M.3    Senellart, P.4    Van Dooren, P.5
  • 3
    • 0024035719 scopus 로고
    • Characterizing finite Kripke structures in propositional temporal logic
    • M. C. Browne, E. M. Clarke, and O. Grümberg. Characterizing finite Kripke structures in propositional temporal logic. Theoretical Computer Science, 59(1-2):115-131, 1988.
    • (1988) Theoretical Computer Science , vol.59 , Issue.1-2 , pp. 115-131
    • Browne, M.C.1    Clarke, E.M.2    Grümberg, O.3
  • 5
    • 0026820657 scopus 로고
    • The complexity of stochastic games
    • A. Condon. The complexity of stochastic games. Information and Computation, 96(2):203-224, 1992.
    • (1992) Information and Computation , vol.96 , Issue.2 , pp. 203-224
    • Condon, A.1
  • 6
    • 33745439700 scopus 로고    scopus 로고
    • Linear and branching metrics for quantitative transition systems
    • st International Colloquium on Automata, Languages, and Programming
    • st International Colloquium on Automata, Languages, and Programming, volume 3142 of LNCS, pages 97-109, 2004.
    • (2004) LNCS , vol.3142 , pp. 97-109
    • De Alfaro, L.1    Faella, M.2    Stoelinga, M.3
  • 9
    • 0019600087 scopus 로고
    • Ordered field property for stochastic games when the player who controls transitions changes from state to state
    • J. A. Filar. Ordered field property for stochastic games when the player who controls transitions changes from state to state. Journal of Optimization Theory and Applications, 34:503-515, 1981.
    • (1981) Journal of Optimization Theory and Applications , vol.34 , pp. 503-515
    • Filar, J.A.1
  • 12
    • 0014757386 scopus 로고
    • A general method applicable to the search for similarities in the amino acid sequence of two proteins
    • S. Needleman and C. Wunsch. A general method applicable to the search for similarities in the amino acid sequence of two proteins. Journal of Molecular Biology, 48:443-453, 1970.
    • (1970) Journal of Molecular Biology , vol.48 , pp. 443-453
    • Needleman, S.1    Wunsch, C.2
  • 14
    • 0020752197 scopus 로고
    • A distance measure between attributed relational graphs for pattern recognition
    • A. Sanfeliu and K. Fu. A distance measure between attributed relational graphs for pattern recognition. IEEE Transactions on Systems, Man and Cybernetics, SMC-13(3):353-362, 1983.
    • (1983) IEEE Transactions on Systems, Man and Cybernetics , vol.SMC-13 , Issue.3 , pp. 353-362
    • Sanfeliu, A.1    Fu, K.2
  • 15
    • 0019887799 scopus 로고
    • Identification of common molecular subsequences
    • T. F. Smith and M. S. Waterman. Identification of common molecular subsequences. Journal of Molecular Biology, 147:195-197, 1981.
    • (1981) Journal of Molecular Biology , vol.147 , pp. 195-197
    • Smith, T.F.1    Waterman, M.S.2
  • 17
    • 33745765732 scopus 로고    scopus 로고
    • Sept. Personal communication
    • L. Ungar and T. Sandler, Sept. 2005. Personal communication.
    • (2005)
    • Ungar, L.1    Sandler, T.2


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