[EN] In the last few years, Artificial intelligence (AI), has become an essential element of many technological fields. While AI has been developing on the level of algorithms, processing architectures have also been ...

[ES] En este documento se presenta el Trabajo de Final de Máster del Máster Universitario en Computación en la Nube y de Altas Prestaciones de la Universidad Politécnica de Valencia, consistente en el desarrollo, optimización ...

[ES] El presente documento presenta el desarrollo de una interfaz Java que, junto con un intérprete Prolog integrado, permite visualizar una explicación de la ejecución de este tipo de programas lógicos. Para utilizar ...

Se estudia la distribución de la varianza muestral.

[ES] El análisis automático de software permite verificar que un programa cumpla una serie de propiedades deseables sin intervención humana, aportando agilidad al proceso de ingeniería y reduciendo los riesgos del software ...

Se resuelven ejercicios aplicando la inferencia directa en lógica de enunciados. Se utiliza, además de las leyes y reglas de inferencia, las propiedades booleanas y las equivalencias más habituales.

[ES] En este TFG se pretende desarrollar una plataforma para facilitar el entrenamiento, renderizado y visualización de escenas mediante campos de radiancia neuronal, incluyendo comprensión de la escena vía segmentación ...

[ES] Inferencia y aprendizaje son los actos de razonar sobre evidencia recogida con el fin de alcanzar conclusiones lógicas sobre el proceso que la originó. En el contexto de un modelo de espacio de estados, inferencia y ...

En este vídeo se presentan las leyes de inferencia en Lógica de predicados y el proceso a seguir para realizar dicha inferencia. Se propone un ejemplo que se analiza con todo detalle..

conclusiones del estudio de inferencia para el caso de una población normal