Browsing Departament: Llenguatges i Sistemes Informàtics by Author "9e5a06e2-8232-45ec-a7f6-ecb536febccb"
Now showing items 1-4 of 4
-
A categorical interpretation of state merging algorithms for DFA inference
Vilar Torres, Juan Miguel Elsevier Science Direct (2024-02-08)We use Category Theory to interpret the family of algorithms for inference of DFAs that work by merging states. This interpretation allows us to characterize the structure of the search space and to define criteria for the ... -
Easily Solving Dynamic Programming Problems in Haskell by Memoization of Hylomorphisms
Llorens, David; Vilar Torres, Juan Miguel Wiley (2020)Dynamic Programming is a well known algorithmic technique that solves problems by a combination of dividing a problem into subproblems and using memoization to avoid an exponential growth of the costs. We show how to ... -
EM Training of Hidden Markov Models for Shape Recognition Using Cyclic Strings
Palazón González, Vicente; Marzal Varó, Andrés; Vilar Torres, Juan Miguel Springer Berlin Heidelberg (2013)Shape descriptions and the corresponding matching techniques must be robust to noise and invariant to transformations for their use in recognition tasks. Most transformations are relatively easy to handle when contours are ... -
Human or Computer Assisted Interactive Transcription: Automated Text Recognition, Text Annotation, and Scholarly Edition in the Twenty-First Century
Castro Bleda, María José; Vilar Torres, Juan Miguel; España Boquera, Salvador; Llorens Piñana, David; Marzal Varó, Andrés; Prat Villar, Federico; Zamora, F. Institut d'Estudis Medievals de la Universitat Autònoma de Barcelona (2014)Computer assisted transcription tools can speed up the initial process of reading and transcribing texts. At the same time, new annotation tools open new ways of accessing the text in its graphical form. The balance and ...