Fachbereich
Sistemas Informáticos y Computación
Artikel (17) Publikationen, an denen Forscher/innen teilgenommen haben
2011
-
Automatic segmentation of relevant textures in agricultural images
Computers and Electronics in Agriculture, Vol. 75, Núm. 1, pp. 75-83
-
Closed-form upper bounds in static cost analysis
Journal of Automated Reasoning, Vol. 46, Núm. 2, pp. 161-203
-
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet
Information Processing Letters, Vol. 111, Núm. 9, pp. 408-413
-
Decidability and complexity of Petri nets with unordered data
Theoretical Computer Science, Vol. 412, Núm. 34, pp. 4439-4451
-
Diseño y construcción de Sistemas de Aprendizaje Electrónico
Novática: Revista de la Asociación de Técnicos de Informática, Núm. 210, pp. 8-9
-
Efficient local unfolding with ancestor stacks
Theory and Practice of Logic Programming, Vol. 11, Núm. 1, pp. 1-32
-
Exact internet accessible computation of paths of points in planar linkages and diagrams
Computer Applications in Engineering Education, Vol. 19, Núm. 4, pp. 835-841
-
Handling Non-linear Operations in the Value Analysis of COSTA
Electronic Notes in Theoretical Computer Science, Vol. 279, Núm. 1, pp. 3-17
-
Implantación de un campus virtual de grandes dimensiones: El campus virtual de la UCM
Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 6, Núm. 4, pp. 167-174
-
Ingeniería de sistemas de Aprendizaje Electrónico y esfuerzos de estandarización: un caso de estudio relativo a los Almacenes de Objetos Didácticos
Novática: Revista de la Asociación de Técnicos de Informática, Núm. 210, pp. 10-12
-
Ingeniería del Software en eLearning
Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 6, Núm. 4, pp. 164-166
-
Planning of work schedules through the use of a hierarchical multi-agent system
Automation in Construction, Vol. 20, Núm. 8, pp. 1227-1241
-
Sage: una aplicación libre para matemáticas
Suma: Revista sobre Enseñanza y Aprendizaje de las Matemáticas, Núm. 67, pp. 41-46
-
Software engineering infrastructure in a large virtual campus
Interactive Technology and Smart Education, Vol. 8, Núm. 3, pp. 172-185
-
Studying the application of ant colony optimization and river formation dynamics to the steiner tree problem
Evolutionary Intelligence, Vol. 4, Núm. 1, pp. 51-65
-
Testing timed systems modeled by Stream X-machines
Software and Systems Modeling, Vol. 10, Núm. 2, pp. 201-217
-
Text Simplification in Simplext: Making Text More Accessible
Procesamiento del lenguaje natural, Núm. 47, pp. 341-342