Un modelo para el calculo paralelo de deducciones en logica de predicados.
Tesis doctoral de José Ramiro Varela Arias El objetivo de la programacion logica paralela es aprovechar al maximo las fuentes […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Desambiguacion semantica basada en metodos conexionistas.
Tesis doctoral de Lopez Batista Vivian Felix Es la implementacion de un metodo en procesamiento del lenguaje natural para hacer
Percepcion de movimiento y estructura con vision basada en contornos rectos.
Tesis doctoral de Guerrero Campo José Jesús Este trabajo se dedica al analisis, desarrollo y experimentacion del problema completo de
Estudio y paralelizacion de algoritmos para sistemas de informacion geografica.
Tesis doctoral de Cordoba Cabeza M. Luisa En la presente tesis se ha tratado de presentar soluciones viables a un
Una extension del lamda-calculo para la modelizacion de procesos concurrentes.
Tesis doctoral de Oliver Villarroya Francisco Javier El -calculo es una teoria sin tipos que interpreta las funciones como reglas,
Ecuaciones relacionales difusas para operadores de agregacion
Tesis doctoral de Portilla Manjon Miren Iosu En la memoria se realiza una labor de sintesis de los diversos operadores
Establecimiento de un modelo y su desarrollo para un sistema de reconocimiento de nomenclaturas.
Tesis doctoral de Irene Luque Ruiz El trabajo de investigacion ha tenido como objetivo el diseño y construccion de un
Logica temporal y demostracion automatica de teoremas. eficiencia y paralelismo
Tesis doctoral de Enciso Garcia Oliveros Manuel Este trabajo se enmarca en la demostracion automatica de teoremas en logica modal
Optimizacion de la poliValencia de los recursos productivos en empresas que trabajan bajo pedido, mediante simulacion.
Tesis doctoral de Arnal Fraj Ana M. Se plantea el problema de scheduling de la produccion con limitacion variable de
Adquisicion de restricciones selectivas adecuadas a partir de corpus usando una taxonomia semantica.
Tesis doctoral de Francesc Ribas Framis El objetivo principal de esta tesis es el de investigar tecnicas y algoritmos computacionales