{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:25:20Z","timestamp":1742397920603},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425236"},{"type":"electronic","value":"9783540447450"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44745-8_6","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T00:04:43Z","timestamp":1180656283000},"page":"75-90","source":"Crossref","is-referenced-by-count":5,"title":["Designing the Minimal Structure of Hidden Markov Model by Bisimulation"],"prefix":"10.1007","author":[{"given":"Manuele","family":"Bicego","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agostino","family":"Dovier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vittorio","family":"Murino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,28]]},"reference":[{"issue":"2","key":"6_CR1","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1109\/5.18626","volume":"77","author":"L.R. Rabiner","year":"1989","unstructured":"Rabiner, L.R.: A tutorial on Hidden Markov Models and Selected Applications in Speech Recognition. Proc. of IEEE 77(2) (1989) 257\u2013286.","journal-title":"Proc. of IEEE"},{"issue":"1","key":"6_CR2","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1214\/aoms\/1177697196","volume":"41","author":"L.E. Baum","year":"1970","unstructured":"Baum, L.E., Petrie, T.E, Soules, G., Weiss, N.: A maximization technique occurring in the statistical analysis of probabilistic functions of Markov chains. Annals of Math. Statistics. 41(1) (1970) 164\u2013171.","journal-title":"Annals of Math. Statistics"},{"key":"6_CR3","first-page":"1","volume":"3","author":"L.E. Baum","year":"1970","unstructured":"Baum, L.E.: An inequality and associated maximization technique in statistical estimation for probabilistic functions of Markov processes. Inequality 3 (1970) 1\u20138.","journal-title":"Inequality"},{"issue":"3","key":"6_CR4","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/83.287027","volume":"3","author":"S.R. Veltman","year":"1994","unstructured":"Veltman, S.R., Prasad, R.: Hidden Markov Models applied to on-line handwritten isolated character recognition. IEEE Trans. Image Proc., 3(3) (1994) 314\u2013318.","journal-title":"IEEE Trans. Image Proc."},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/0097-8485(92)80037-Z","volume":"16","author":"G.A. Churchill","year":"1992","unstructured":"Churchill, G.A.: Hidden Markov Chains and the analysis of genome structure. Computers & Chemistry 16 (1992) 107\u2013115.","journal-title":"Computers & Chemistry"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Eickeler, S., Kosmala, A., Rigoll, G.: Hidden Markov Model based online gesture recognition. Proc. Int. Conf. on Pattern Recognition (ICPR) (1998) 1755\u20131757.","DOI":"10.1109\/ICPR.1998.711914"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Jebara, T., Pentland, A.: Action Reaction Learning: Automatic Visual Analysis and Synthesis of interactive behavior. In 1st Intl. Conf. on Computer Vision Systems (ICVS\u201999) (1999).","DOI":"10.1007\/3-540-49256-9_17"},{"key":"6_CR8","unstructured":"Theodoridis, S., Koutroumbas, K.: Pattern recognition. Academic Press (1999)."},{"issue":"11","key":"6_CR9","doi-asserted-by":"publisher","first-page":"1172","DOI":"10.1109\/34.103276","volume":"13","author":"Y. He","year":"1991","unstructured":"He, Y., Kundu, A.: 2-D shape classification using Hidden Markov Model. IEEE Trans. Pattern Analysis Machine Intelligence. 13(11) (1991) 1172\u20131184.","journal-title":"IEEE Trans. Pattern Analysis Machine Intelligence"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Figueiredo, M.A.T., Leitao, J.M.N., Jain, A.K.: On Fitting Mixture Models, in E. Hancock and M. Pellilo(Editors), Energy Minimization Methods in Computer Vision and Pattern Recognition, 54\u201369, Springer Verlag, 1999.","DOI":"10.1007\/3-540-48432-9_5"},{"key":"6_CR11","unstructured":"Stolcke, A., Omohundro, S.:Hidden Markov Model Induction by Bayesian Model Merging. Hanson, S.J., Cowan, J.D., Giles, C.L. eds. Advances in Neural Information Processing Systems 5 (1993) 11\u201318."},{"key":"6_CR12","unstructured":"Brand, M.: An entropic estimator for structure discovery. Kearns, M.S., Solla, S.A., Cohn, D.A. eds. Advances in Neural Information Processing Systems 11 (1999)."},{"key":"6_CR13","unstructured":"Aczel, P.: Non-well-founded sets. Lecture Notes, Center for the Study of Language and Information 14 (1988)."},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1006\/jcss.1999.1683","volume":"60","author":"C. Baier","year":"1999","unstructured":"Baier, C., Engelen, B., Majster-Cederbaum, M.: Deciding Bisimilarity and Similarity for Probabilistic Processes. J. Comp. and System Sciences 60 (1999) 187\u2013231.","journal-title":"J. Comp. and System Sciences"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Dovier, A., Piazza, C., Policriti, A.: A Fast Bisimulation Algorithm. In proc. of 13th Conference on Computer Aided Verification, CAV\u201901, 2001. Paris, France.","DOI":"10.1007\/3-540-44585-4_8"},{"issue":"1","key":"6_CR16","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"P.C. Kanellakis","year":"1990","unstructured":"Kanellakis, P.C., Smolka, S.A.: CCS Expressions, Finite State Processes, and Three Problems of Equivalence. Information and Computation, 86(1) (1990) 43\u201368.","journal-title":"Information and Computation"},{"key":"6_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/3-540-63385-5_42","volume-title":"5th Kurt G\u00f6del Colloquium","author":"A. Lisitsa","year":"1997","unstructured":"Lisitsa, A., Sazanov, V.: Bounded Hyperset Theory and Web-like Data Bases. In 5th Kurt G\u00f6del Colloquium. LNCS1289 (1997) 172\u2013185."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Milner, R.: Operational and Algebraic Semantics of Concurrent Processes. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science (1990).","DOI":"10.1016\/B978-0-444-88074-1.50024-X"},{"issue":"6","key":"6_CR19","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R. Paige","year":"1987","unstructured":"Paige, R., Tarjan, R. E.: Three Partition refinement algorithms. SIAM Journal on Computing 16(6) (1987) 973\u2013989.","journal-title":"SIAM Journal on Computing"},{"key":"6_CR20","unstructured":"VanBenthem, J.: Modal Correspondence Theory. PhD dissertation, Universiteit van Amsterdam, Instituut voor Logica en Grondslagenonderzoek van Exacte Wetenschappen, (1978) 1\u2013148."},{"issue":"6","key":"6_CR21","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/5254.809567","volume":"14","author":"S.L. Salzberg","year":"1999","unstructured":"Salzberg, S.L.: Gene discovery in DNA sequences. IEEE Intelligent Systems 14(6) (1999) 44\u201348.","journal-title":"IEEE Intelligent Systems"},{"key":"6_CR22","unstructured":"Salzberg, S.L., Searls, D., Kasif, S.: Computational methods in Molecular Biology. Elsevier Science (1998)."},{"issue":"6","key":"6_CR23","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1109\/TPAMI.1986.4767851","volume":"8","author":"J.F. Canny","year":"1986","unstructured":"Canny, J.F.: A computational approach to edge detection. IEEE Trans. Pattern Analysis Machine Intelligence 8(6) (1986) 679\u2013698.","journal-title":"IEEE Trans. Pattern Analysis Machine Intelligence"},{"key":"6_CR24","unstructured":"Jain, R., Kasturi, R., Schunck, B.G.: Machine Vision. McGraw-Hill (1995)."},{"issue":"11","key":"6_CR25","doi-asserted-by":"publisher","first-page":"1133","DOI":"10.1109\/34.730550","volume":"20","author":"S. Roberts","year":"1998","unstructured":"Roberts, S., Husmeier, D., Rezek, I., Penny, W.: Bayesian Approaches to gaussian mixture modelling, IEEE Trans. on P.A.M.I., 20(11) (1998) 1133\u20131142.","journal-title":"IEEE Trans. on P.A.M.I."},{"issue":"2","key":"6_CR26","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1214\/aos\/1176344136","volume":"6","author":"G. Schwarz","year":"1978","unstructured":"Schwarz, G.: Estimating the dimension of a model, The Annals of Statistics, 6(2) (1978) 461\u2013464.","journal-title":"The Annals of Statistics"}],"container-title":["Lecture Notes in Computer Science","Energy Minimization Methods in Computer Vision and Pattern Recognition"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44745-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T11:20:16Z","timestamp":1556450416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44745-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425236","9783540447450"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-44745-8_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}