-
2
-
-
11344278195
-
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
-
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
-
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
-
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
-
8
-
-
2442553673
-
Metrics for labelled Markov processes
-
J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden. Metrics for labelled Markov processes. Theoretical Computer Science, 318(3):323-354, 2004.
-
(2004)
Theoretical Computer Science
, vol.318
, Issue.3
, pp. 323-354
-
-
Desharnais, J.1
Gupta, V.2
Jagadeesan, R.3
Panangaden, P.4
-
9
-
-
0019600087
-
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
-
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
-
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
-
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
-
-
Sept. Personal communication
-
L. Ungar and T. Sandler, Sept. 2005. Personal communication.
-
(2005)
-
-
Ungar, L.1
Sandler, T.2
|