Abstract certification of java programs in rewriting logic
Tesis doctoral de Mauricio Fernando Alba Castro In this thesis we propose an abstraction based certification technique for java programs […]
Tesis doctoral sobre Informatica
Accede a todas las tesis doctorales sobre Informatica mas relevantes.
Marco metodológico y tecnológico para la gestión del conocimiento organizativo que de soporte al despliegue de buenas practicas de ingeniería del software
Tesis doctoral de José Arturo Mora Soto Hoy en día nos encontramos inmersos en una sociedad que está en constante
Multilingual acquisition of large scale knowledge resources
Tesis doctoral de Montserrat Cuadros Oller Natural language processing (nlp) is a subfield of artificial intelligence (ai) that attempts to
Aplicaciones de la dimensión efectiva a la complejidad computacional y a los algoritmos de comprensión de datos
Tesis doctoral de María Lopez Valdes Durante las últimas décadas, la tecnología de las computadoras y el uso que de
Estudio, implementación y evaluación de un tutor inteligente para el aprendizaje de lógica computacional basado en modelos y apoyado en conocimiento
Tesis doctoral de José Alberto Maestro Prieto La tesis desarrolla un sistema tutor inteligente para la enseñanza de lógica computacional.
Trade-off among timeliness, messages and accuracy for large-scale information management
Tesis doctoral de René Brunner Information management requires new techniques to deal with the increasing amount of data and the
Sistema multiagente sensible al contexto
Tesis doctoral de Juan Agustín Fraile Nieto En una sociedad claramente influenciada por las nuevas tecnologías, los nuevos avances en
A goal-oriented approach for managing requirements in the development of web applications
Tesis doctoral de José Alfonso Aguilar Calderón En los últimos años, han surgido nuevas propuestas para abordar el desarrollo de
Uso de ontologías formales para el soporte al diseño instruccional
Tesis doctoral de Christian Lautaro Vidal Castro En ambientes de e-learning, el diseño de recursos para el aprendizaje es una
Automatic service composition based on common-sense reasoning for ambient intelligence
Tesis doctoral de María Jose Santofimia Romero The ambient intelligence paradigm is mainly devoted to make people life easier, by