Search
Now showing items 41-50 of 107
Teoría de prueba con etiquetas para lógicas modales intuicionistas
(2019-03-28)
Los sistemas de prueba etiquetados han sido propuestos por Gabbay como un marco unificador a través de la teoría de prueba con el fin de proporcionar sistemas de prueba para una amplia gama de lógicas. Para las lógicas ...
Watershed topológico concurrente
(2015-05)
La Transformación Watershed Topológico es un procedimiento de la morfología matemática, basado en la popular Transformación Watershed, cuyo fin es la segmentación de una imagen. Si bien existen algoritmos secuenciales ...
Inteligencia artificial en juegos : desarrollando un game partner utilizando generación de lenguaje natural
(2013)
Actualmente la mayoría de los tutoriales en los videojuegos están hechos para que el jugador siga un script fijo. Por lo tanto, que un tutorial sea bueno o malo es todavía un arte que depende de cuán bueno sea el script ...
Recomendación de música basada en contenido con deep learning
(2018)
La música es parte de nuestras vidas. Cada vez consumimos más contenido digital, queremos todo al instante y acorde a nuestros gustos. Dado el gigantesco catálogo musical que existe, resulta indispensable contar con un ...
Entrenamiento de modelos de aprendizaje profundo mediante autosupervisión
(2017-08)
Dentro del campo del aprendizaje automático, una clase de técnicas conocidas como Deep Learning (DL) han cobrado particular relevancia, ya que mediante su utilización se han conseguido mejoras muy significativas respecto ...
Técnicas mixtas de seguimiento y aprendizaje para tracking en secuencias de video
(2015-09)
Dentro del campo de visión por computadora, el problema de tracking consiste en seguir la posición de un objeto en una secuencia de video. Este ha sido abordado de variadas maneras, principalmente con métodos basados en ...
Estratificación temporal de Aedes Aegypti basada en herramientas geoespaciales y aprendizaje automático
(2018)
En el presente trabajo, por un lado, implementa un framework para la generación de modelos de aprendizaje automático (ML) con el objetivo de estimar la abundancia de vectores de Dengue, Zika y Chikungunya.
A su vez, se ...
OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
(2011-03-28)
Los sistemas tolerantes a fallas son aquellos que son capaces de seguir operando luego de la ocurrencia de una o más fallas. Una falla puede provocar cambios no deseados en el estado interno del sistema, y para que el ...
Estudio de redes neuronales en escalera como método semi-supervisado para reconocimiento de entidades nombradas en textos legales
(2019)
En este trabajo se exploró el uso de un método de aprendizaje
automático semi-supervisado profundo, conocido como “Redes Neu-
ronales en Escalera”. Como caso de estudio, se decidió abordar la tarea
de reconocimiento y ...
Optimización del cómputo para la resolución del problema de una y dos partículas en un pozo de potencial usando B-splines
(2018)
En este trabajo se optimizó una implementación del método variacional de Rayleigh-Ritz para la resolucion de la ecuación de Schrödinger independiente del tiempo, usando un conjunto de funciones conocido como B-splines. ...