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