Abstract interpretation techniques for the verification of timed systems
Tesis doctoral de Robert Clariso Viladrosa En muchos sistemas, la corrección se puede decidir comparando las respuestas a eventos del […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Perceptual grouping techniques for the detection of objects in digital images
Tesis doctoral de Marta Penas Centeno La tesis doctoral describe e implementa un sistema para la detección de objetos en
Combining statistical and finite-state methods for machine translation
Tesis doctoral de David Picó Vila La traducción automática es un campo muy activo de las tecnologías del lenguaje natural
Historia clínica electrónica federada basada en la norma europea cen/tc251 en13606
Tesis doctoral de José Alberto Maldonado Segura Cada día más la atención sanitaria de un paciente es la responsabilidad compartida
Visualizacion interactiva de especies vegetales
Tesis doctoral de Inmaculada Remolar Quintana Uno de los problemas más importantes en la visualización interactiva de escenas exteriores es
Contributions to the generation and representation of digital terrain models
Tesis doctoral de José Francisco Poveda Albadalejo En el presente trabajo se abordan problemas y se proponen soluciones relacionadas con
Data warehouse desingn with uml
Tesis doctoral de Sergio Luján Mora Actualmente, existe un gran interés por los sistemas de información que faciliten a las
Enlace de jerarquias usando el etiquetado por relajación
Tesis doctoral de Jordi Daude Ventura Datos académicos de la tesis doctoral «Enlace de jerarquias usando el etiquetado por
Data driven synthesis of composite feature detectors for 3d image analysis
Tesis doctoral de Raquel Dosil Lago El trabajo presentado en esta tesis es un intento de cubrir el espacio entre
Analisis estadistico del comportamiento de lineas de transporte frente a descargas atmosfericas mediante simulación digital
Tesis doctoral de Ferley Castro Aranda Datos académicos de la tesis doctoral «Analisis estadistico del comportamiento de lineas de