Informática

2004

1. < e-aula >: A personalized e-learning system based on educational standards and markup languages

   Proceedings of the IASTED International Conference on Web-Based Education

2. A conference reviewing system in mobile maude

   Electronic Notes in Theoretical Computer Science

3. A document-oriented approach to the development of knowledge based systems

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

4. A graph-based interface to complex hypermedia structure visualization

   Proceedings of the Workshop on Advanced Visual Interfaces AVI

5. A lazy narrowing calculus for declarative constraint programming

   Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04

6. A logic programming approach to the verification of functional-logic programs

   Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04

7. A parallel language for cognitive informatics

   Proceedings of the Third IEEE International Conference on Cognitive Informatics, ICCI 2004

8. A tutoring system supporting experimentation with virtual macroeconomic environments

   Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

9. Abstraction of parallel uniform processes with data

   Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004

10. Actuator and control design for fast ferry using seasickness criteria

    IFAC Proceedings Volumes (IFAC-PapersOnline)

11. Adaptive grid scheduling of a high-throughput bioinformatics application

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

12. Adaptive tuning of reserved space in an appel collector

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

13. Advances In the 6 DOF motions model of a fast ferry

    IFAC Proceedings Volumes (IFAC-PapersOnline)

14. An executable specification of asynchronous Pi-calculus semantics and may testing in Maude 2.0

    Electronic Notes in Theoretical Computer Science

15. An integrated hardware/software approach for run-time scratchpad management

    41ST DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2004

16. An integrated hardware/software approach for run-time scratchpad management

    Proceedings - Design Automation Conference

17. Análisis de una plataforma de teleformación desde la perspectiva de un docente de la Facultad de Informática

    En apoyo del aprendizaje en la universidad : hacia el espacio europeo de educación superior

18. Análisis transitorio y de ocupación en un modelo de colas general

    XXVIII Congreso Nacional de Estadística e Investigación Operativa: [archivo de ordenador] Cádiz, 25-29 de octubre de 2004

19. Applying Occam's razor to FSMs

    Proceedings of the Third IEEE International Conference on Cognitive Informatics, ICCI 2004

20. Aprendizaje Interactivo e Incremental en Procesos de Negociación en Mercados Electrónicos

    3rd International workshop on practical applications of agents and multiagent systems: IWPAAMS 2004