Centro/Instituto
Instituto de Tecnología del Conocimiento (ITC)
Publicacións (188) Publicacións nas que participase algún/ha investigador/a
2009
-
3D FPGA Resource Management and Fragmentation Metric for Hardware Multitasking
2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-5
-
3D FPGA resource management and fragmentation metric for hardware multitasking
IPDPS 2009 - Proceedings of the 2009 IEEE International Parallel and Distributed Processing Symposium
-
A Decentralized Model for Self-managed Web Services Applications
International symposium on distributed computing and artificial intelligence 2008
-
A Declarative Debugger for Maude Functional Modules
Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 63-81
-
A Motivation-Based Self-organization Approach
INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE 2008
-
A Rewriting Semantics for Maude Strategies
Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 227-247
-
A Tool for Generating Model Transformations By-Example in Multi-Agent Systems
7TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF AGENTS AND MULTI-AGENT SYSTEMS (PAAMS 2009)
-
A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008
Journal of Logic and Algebraic Programming
-
A complete-computerised delphi process with a multi-agent system
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A data-driven simulation of social values evolution
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
-
A debugging system based on natural semantics
Journal of Universal Computer Science, Vol. 15, Núm. 14, pp. 2836-2880
-
A decentralized model for scheduling independent tasks in Federated Grids
Future Generation Computer Systems, Vol. 25, Núm. 8, pp. 840-852
-
A decentralized model for self-managed web services applications
Advances in Soft Computing
-
A declarative encoding of telecommunications feature subscription in SAT
PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
-
A featured-based strategy for stereovision matching in sensors with fish-eye lenses for forest environments
Sensors, Vol. 9, Núm. 12, pp. 9468-9492
-
A formal approach to heuristically test restorable systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A general testability theory
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A hierarchical methodology to specify and simulate complex computational systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A method to learn the inverse kinematics of multi-link robots by evolving neuro-controllers
Neurocomputing, Vol. 72, Núm. 13-15, pp. 2806-2814
-
A model for human readable instruction generation using level-based discourse planning and dynamic inference of attributes disambiguation
Proceedings of the 12th European Workshop on Natural Language Generation, ENLG 2009