• openAccess   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 ...
    • openAccess   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 ...
    • openAccess   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 ...
    • openAccess   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 ...
    • openAccess   On hidden Markov models and cyclic strings for shape recognition 

      Palazón González, Vicente; Marzal Varó, Andrés; Vilar Torres, Juan Miguel Elsevier (2014)
      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 ...
    • openAccess   Statistical Approaches to Computer-Assisted Translation 

      Barrachina Mir, Sergio; Bender, Oliver; Casacuberta, Francisco; Civera, Jorge; Cubel, Elsa; Khadivi, Shahram; Lagarda, Antonio; Ney, Hermann; Tomás, Jesús; Vidal, Enrique; Vilar Torres, Juan Miguel Massachusetts Institute of Technology Press (MIT) (2009)
      Current machine translation (MT) systems are still not perfect. In practice, the output from these systems needs to be edited to correct errors. A way of increasing the productivity of the whole translation process (MT ...