Search results for: Antonio Martín
Lecture Notes in Computer Science > Advances in Information Systems > Information Retrieval and Knowledge Representation > 284-293
Lecture Notes in Computer Science > Nature Inspired Problem-Solving Methods in Knowledge Engineering > 337-346
Lecture Notes in Computer Science > Computer Aided Systems Theory – EUROCAST 2005 > Formal Approaches in Modelling > 33-37
Lecture Notes in Computer Science > Computer Aided Systems Theory - EUROCAST 2009 > Systems Theory and Simulation: Formal Approaches > 75-82
Lecture Notes in Computer Science > Hybrid Artificial Intelligence Systems > Hybrid Intelligent Systems for Multi-robot and Multi-agent Systems > 625-632
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing > 112-126
Lecture Notes in Computer Science > Intelligent Data Engineering and Automated Learning – IDEAL 2006 > Learning and Information Processing > 402-409
Lecture Notes in Computer Science > Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira’s Scientific Legacy > 305-314
Lecture Notes in Computer Science > Computer Aided Systems Theory – EUROCAST 2007 > Systems Theory and Simulation: Formal Approaches > 138-145
Lecture Notes in Computer Science > Bioinspired Applications in Artificial and Natural Computation > 362-371