Publikationen (243) Publikationen, an denen Forscher/innen teilgenommen haben

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 case based reasoning approach to story plot generation

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3155, pp. 142-156

  3. A case study of structure processing to generate a case base

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3155, pp. 587-600

  4. A conference reviewing system in mobile maude

    Electronic Notes in Theoretical Computer Science

  5. 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)

  6. A formal framework for analyzing reusability complexity in component-based systems

    Information and Software Technology, Vol. 46, Núm. 12, pp. 791-804

  7. A framework for adaptive execution in grids

    Software - Practice and Experience, Vol. 34, Núm. 7, pp. 631-651

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

    Proceedings of the Workshop on Advanced Visual Interfaces AVI

  9. A hybrid design-time/run-time scheduling flow to minimise the reconfiguration overhead of FPGAs

    Microprocessors and Microsystems, Vol. 28, Núm. 5-6 SPEC. ISS., pp. 291-301

  10. A lazy narrowing calculus for declarative constraint programming

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

  11. 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

  12. A low fragmentation heuristic for task placement in 2D RTR HW management

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3203, pp. 241-250

  13. A methodology for reconfigurable hardware design based upon evolutionary computation

    Microprocessors and Microsystems, Vol. 28, Núm. 7, pp. 363-371

  14. A non-standard genetic algorithm approach to solve constrained school timetabling problems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2809, pp. 26-37

  15. A parallel language for cognitive informatics

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

  16. A proof theoretic approach to failure in functional logic programming

    Theory and Practice of Logic Programming, Vol. 4, Núm. 1-2, pp. 41-74

  17. A simulation-based performance analysis of dynamic routing protocols for mobile ad hoc networks

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3207, pp. 914-922

  18. A sociological framework for multi-agent systems validation and verification

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3289, pp. 458-469

  19. A tutoring system supporting experimentation with virtual macroeconomic environments

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

  20. A wavelet-based image fusion tutorial

    Pattern Recognition, Vol. 37, Núm. 9, pp. 1855-1872