Visualitza LSI_Articles per autoria "9e5a06e2-8232-45ec-a7f6-ecb536febccb"
Ara mostrant els elements 1-3 d 3
-
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 ... -
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 ...