Automatic synthesis of update transaction programs in deductive databases.
Tesis doctoral de Joan Antoni Pastor Collado Datos académicos de la tesis doctoral «Automatic synthesis of update transaction programs […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Interpretacion geometrica de redes neuronales recurrentes discretas mediante grafos completos.
Tesis doctoral de Victor Gimenez Martinez El objetivo fundamental del presente trabajo es explorar nuevas tecnicas de implementacion, basadas en
Modelizacion de superficies derivadas del analisis de procesos naturales. aplicacion a su representacion grafica.
Tesis doctoral de Auñon Lopez Juan Manuel Conocer una variable ligada a procesos naturales, a partir de informacion discreta de
Verificacio automatica de programes basada en semantica de comportament i logica de primer ordre: el metodo alice.
Tesis doctoral de Palasi Lallana Vicent Ramon Se presenta un metodo de verificacion automatica llamado alice (algebraic inference of the
Inferencia de lenguajes racionales estocasticos.
Tesis doctoral de Carrasco Jimenez Rafael Carlos Se presentan una serie de algoritmos que permiten la identificacion eficiente de lenguajes
Aplicacion de tecnicas basadas en logica difusa para la mejora del comportamiento de los algoritmos geneticos con codificacion real.
Tesis doctoral de Manuel Lozano Marquez La memoria aborda la aplicacion de tecnicas basadas en logica difusa para diseñar algoritmos
Algoritmos para el tratamiento de reglas aprendidas a partir de ejemplos.
Tesis doctoral de Alfredo Santiago Alguero Garcia Dado un conjunto de reglas aprendidas a partir de una familia de ejemplos
Estimacion de movimiento en secuencias de imagenes mediante la deteccion y encaje de puntos relevantes. aplicacion al seguimiento de vehiculos para el analisis de trayectorias.
Tesis doctoral de Diaz Fernandez M. Elena Se ha desarrollado un metodo generico para la estimacion de movimiento en secuencias
Analisis de opiniones diagnosticas sin patron de referencia. aplicacion a la validacion de sistemas expertos medicos.
Tesis doctoral de Montserrat Martín Baranera El objetivo general es el de desarrollar una metodología de validacion de opiniones diagnosticas
Contribution to the standardization of the interchange and remote manipulation of electronic documents.
Tesis doctoral de Xavier Perramon Tornil El trabajo «contribucion a la normalizacion del intercambio y manipulacion remota de documentos electronicos»