Zobrazeno 1 - 10
of 36
pro vyhledávání: '"Branislav Rovan"'
Autor:
Branislav Rovan, András Varga
Publikováno v:
International Journal of Foundations of Computer Science. 33:967-1003
A new framework to measure distances (similarity) between formal languages and between grammars based on distances between words is introduced. It is based on approximating languages by their finite subsets and using monotone sequences of such finite
Publikováno v:
Language and Automata Theory and Applications ISBN: 9783030681944
LATA
LATA
In this paper we continue the research on usefulness of information examining the effect of supplementary information on the complexity of solving a problem (see Rovan and Sadovský [7] for an overview). We use deterministic finite automata for a for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::03625cf97e7a9a4aa6bada6bf3240d90
https://doi.org/10.1007/978-3-030-68195-1_11
https://doi.org/10.1007/978-3-030-68195-1_11
Publikováno v:
Information and Computation. :104868
Autor:
Branislav Rovan, Peter Kostolányi
Publikováno v:
International Journal of Foundations of Computer Science. 27:787-807
We introduce a new generalization of weighted automata – automata with auxiliary weights. They allow to compute several quantities not directly computable over semirings by generalizing both semiring addition and semiring multiplication. Moreover,
Autor:
Branislav Rovan, Šimon Sádovský
Publikováno v:
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications ISBN: 9783319125671
Adventures Between Lower Bounds and Higher Altitudes
Adventures Between Lower Bounds and Higher Altitudes
In this paper we present a brief overview of the results of our research aimed at identifying and formalising various aspects of the notion of information, especially its usefulness, i.e., its ability to simplify a solution of a problem. We formalize
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4f6e5469b96d970f05f46ae52314bdb5
https://doi.org/10.1007/978-3-319-98355-4_6
https://doi.org/10.1007/978-3-319-98355-4_6
Autor:
Marek Zeman, Branislav Rovan
Publikováno v:
Information Processing Letters. 114:147-151
In this paper, we continue the research on formal treatment of attributes of information, based on the computational approach. In this scenario, the usefulness of advisory information is measured by the decrease in complexity of a problem we need to
This book constitutes the refereed proceedings of the 40th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2014, held in Nový Smokovec, Slovakia, in January 2014. The 40 revised full papers presented in
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319042978
SOFSEM 2014: Theory and Practice of Computer Science
SOFSEM 2014: Theory and Practice of Computer Science
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::06a5a11e3fbc6de322c8e24994d951bf
https://doi.org/10.1007/978-3-319-04298-5
https://doi.org/10.1007/978-3-319-04298-5
This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invite
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642325885
Mathematical Foundations of Computer Science 2012
Mathematical Foundations of Computer Science 2012
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::21b61e017a7c1c8b086f883f539dbc80
https://doi.org/10.1007/978-3-642-32589-2
https://doi.org/10.1007/978-3-642-32589-2