Browsing by Subject "Algoritmo"

Now showing items 1-3 of 3

    • Cálculo de tableaux para fórmulas elementales en lógicas de separación 

      Saravia, Andrés Román (2020)
      En este trabajo final investigamos métodos computacionales de razonamiento para lenguajes modales dinámicos. Por lenguajes dinámicos nos referimos a formalismos que permitan cambiar la estructura subyacente a medida que ...

    • Modelados de Tópicos. Clasificación no supervisada con LDA 

      Gogni, Valeria; Bianco, María José (2020-10)
      El modelado de tópicos es una técnica avanzada de recuperación de información que automáticamente encuentra los temas generales en un conjunto de documentos de texto. Intenta encontrar temáticas implícitas en un conjunto ...

    • Modelos vivos en la representación de superficies 

      Nicasio, Cecilia (2013)
      El Modelado Paramétrico es un importante recurso para el diseño conceptual, ya que permite controlar con precisión las modificaciones sobre el modelo digital para luego obtener su representación grafica. En el enfoque ...