Informática

1997

1. Combining reinforcement learning and differential inverse kinematics for collision-free motion of multilink manipulators

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

2. Constraint logic programming with hereditary Harrop formulas

   LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM

3. Desarrollo de sistemas de ayuda basados en técnicas de recuperación de información y análisis formal de conceptos

   III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic]

4. Dipolar interactions in systems of restricted dimensionality: application to membrane model systems and micelles

   26.ª Reunión bienal de la Real Sociedad Española de Química: actas. Cádiz, 23 al 26 de septiembre, 1997

5. Diseño y semántica de lenguajes lógico-funcionales

   III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic]

6. Eden coordination model for distributed memory systems

   Proceedings of the International Workshop on High-Level Programming Models and Supportive Environments, HIPS

7. Final implementation of SEACON: New scope and new open system platform

   IEEE Power Industry Computer Applications Conference

8. Formal techniques for hardware allocation

   Proceedings of the IEEE International Conference on VLSI Design

9. Formal techniques for hardware allocation

   TENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS

10. Functional partitioning for hardware-software codesign using genetic algorithms

    Conference Proceedings of the EUROMICRO

11. Integración del análisis formal de conceptos en el desarrollo de sistemas de ayuda inteligente

    CAEPIA'97: actas

12. Interconnection delay and clock cycle selection in high level synthesis

    Proceedings of the IEEE International Conference on VLSI Design

13. Interconnection delay and clock cycle selection in high level synthesis

    TENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS

14. Introducing friendly testing

    V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997

15. Modular reinforcement-based neural controller for a three-link manipulator

    IEEE International Conference on Intelligent Robots and Systems

16. Network provider domain federation in TINA

    Telecommunications Information Networking Architecture, TINA, Conference Proceedings

17. Parallel simulation of non-linear phenomena with cellular automata

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

18. Resolución de la ambigüedad léxica mediante información contextual y el modelo del espacio vectorial

    CAEPIA'97: actas

19. TINA: arquitectura de servicios distribuidos en redes de telecomunicación

    V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997

20. Testing semantics for unbounded nondeterminism

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