The complexity of resource-bounded propositional proofs
Tesis doctoral de Albert Atserias Peri Datos académicos de la tesis doctoral «The complexity of resource-bounded propositional proofs« Título […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Medical image registration based on a creaseness measure
Tesis doctoral de David Lloret Vilallonga Esta tesis trata de la puesta en correspondencia automática de imágenes médicas. Proponemos un
Aplicación de tecnicas de aceleracion para visualizar modelos multirresolucion
Tesis doctoral de Oscar Belmonte Fernandez Las mallas de triangulos se han convertido de facto en el estandar para modelar
Validez del g.p.s. como fuente de datos topográficos en ingeniería civil
Tesis doctoral de Andrés Seco Menses En la presente tesis se realiza un análisis de la validez del g.P.S., como
Inspección tridimensional de piezas mediante visión artificial. técnicas de procesamiento y estrategias de planificación para incrementar la precisión en la medida
Tesis doctoral de David Garcia Dolla La presente tesis doctoral se orienta al estudio de técnicas para mejorar la precisión
Reutilización de requisitos funcionales de sistemas distribuidos utilizando técnicas de descripción formal
Tesis doctoral de Rebeca Pilar Diaz Redondo La reutilización de software fue planteada en su día como una vía complementaria
Fair allocation of network resources for internet users
Tesis doctoral de Albert Banchs Roca El contenido de la tesis plantea una nueva alternativa para atender la problemática de
Esquema de caracterización para la selección de técnicas de pruebas de software
Tesis doctoral de Sira Vegas Hernández La importancia de una adecuada selección de técnicas de pruebas es comúnmente aceptada por
Tratamiento y difusión en internet de información jurisprudencial mediante tecnologías xml: aplicación al caso del tribunal constitucional
Tesis doctoral de Bonifacio Martín Galán La producción masiva de documentos jurídicos hace necesario su adecuado tratamiento para garantizar el
Problemas de conexiones ortogonales
Tesis doctoral de José Ramon Portillo Fernandez El área de investigación sobre dibujos de grafos constituye una importante conexión entre