Author profile: Toro Bonilla, Miguel
Data
Name | Toro Bonilla, Miguel |
Department | Lenguajes y Sistemas Informáticos |
Knowledge area | Lenguajes y Sistemas Informáticos |
Professional category | Catedrático de Universidad |
Request | |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Statistics
-
Items
129
-
Visits
13311
-
Downloads
17412
Publications |
---|
Article
![]() TAPON-MT: a versatile framework for semantic labelling
(Elsevier, 2019-07-01)
Semantic labelling refers to the problem of assigning known labels to the elements of structured information from a source ... |
Article
![]() TAPON: a two-phase machine learning approach for semantic labelling
(Elsevier, 2019-01-01)
Through semantic labelling we enrich structured information from sources such as HTML pages, tables, or JSON files, with ... |
Article
![]() SCORE: Simulator for cloud optimization of resources andenergy consumption
(Elsevier, 2018-01-01)
Achieving efficiency both in terms of resource utilisation and energy consumption is acomplex challenge, especially in ... |
Presentation
![]() Introducción a la Programación con Python, Computación Interactiva y Aprendizaje Significativo
(Asociación de Enseñantes Universitarios de la Informática (AENUI), 2018-01-01)
En este trabajo presentamos una experiencia docente, y el recurso docente correspondiente, que hemos seguido durante el ... |
Article
![]() Edge and Cloud Pricing for the Sharing Economy
(IEEE Computer Society, 2017-01-01)
As technology resonates in all layers of society, the impulse of shifting toward new spaces for a cooperative economy can ... |
Presentation
![]() Automated Analysis of Cloud Offerings for Optimal Service Provisioning
(Springer, 2017-01-01)
Cloud computing paradigm has brought an overwhelming variety of cloud services from different providers, each one offering ... |
Article
![]() VISUAL PPINOT: A Graphical Notation for Process Performance Indicators
(Springer, 2017-01-01)
Process performance indicators (PPIs) allow the quantitative evaluation of business processes, providing essential information ... |
Article
![]() Run-time prediction of business process indicators using evolutionary decision rules
(Elsevier, 2017-01-01)
Predictive monitoring of business processes is a challenging topic of process mining which is concerned with the prediction ... |
Presentation
![]() Defeasible Argumentation of Software Architectures
(IEEE Computer Society, 2016-01-01)
Defeasible argumentation is typical of legal and scientific reasoning. A defeasible argument is one in which the conclusion ... |
PhD Thesis
![]() Separación avanzada de conceptos en entornos WEB
(2011-01-01)
En un mundo profundamente interconectado y globalizado, uno de los principales retos a los que se tiene que enfrentar la ... |
Article
![]() The intentional relationship of representation between the constructs of a language and reality
(Elsevier, 2009-01-01)
Specifications of conceptualisations (ontologies) are often employed for represent- ing reality, both in knowledge ... |
Presentation
![]() A Hybrid Model for Dynamic Simulation of Custom Software Projects in a Multiproject Environment
(Springer, 2009-01-01)
This paper describes SimHiProS, a hybrid simulation model of software production. The goal is to gain insight on the ... |
Presentation
![]() Analyzing Strategic Business Rules through Simulation Modeling
(IFIP: International Federation for Information Processing, 2009-01-01)
Service Oriented Architecture (SOA) holds promise for business agility since it allows business process to change to meet ... |
Presentation
![]() Dealing with Fixable and Non-fixable Properties in Service Matchmaking
(Springer, 2009-01-01)
In the context of service discovery, matchmakers check the compliance of service-level objectives from providers and ... |
Presentation
![]() A System Dynamics Approach to Web Service Capacity Management
(IEEE Computer Society, 2009-01-01)
This paper presents a dynamic simulation model applied within the field of web services capacity management. The main ... |
Presentation
![]() Análisis de los Efectos de las Políticas de Gestión de la Capacidad de los Servicios en el Cumplimiento de los SLAs utilizando Simulación
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2009-01-01)
Actualmente, cada vez son más las empresas proveedoras de servicios TI que recurren a ITIL (Information Technology ... |
Presentation
![]() Aplicación de las Técnicas de Modelado y Simulación en la Gestión de Servicios TI
(SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2009-01-01)
Las técnicas de modelado y simulación ofrecen la posibilidad de experimentar diferentes decisiones y analizar sus resultados ... |
Article
![]() An association rule mining method for estimating the impact of project management policies on software quality, development time and effort
(Elsevier, 2008-01-01)
Accurate and early estimations are essential for effective decision making in software project management. Nowadays, ... |
Article
![]() Automated Error Analysis for the Agilization of Feature Modeling
(Elsevier, 2008-01-01)
|
Presentation
![]() Generating domain specific aspect code for navigation from platform specific models in MWACSL
(SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2008-01-01)
MWACSL1 is an Aspect-Oriented and Model-Driven approach for software development in the context of web applications. MWACSL ... |
Presentation
![]() Hacia un modelo híbrido de simulación de la producción de software en un entorno multiproyecto
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2008-01-01)
La simulación del ciclo de vida de los proyectos software o de partes de éste es un activo campo de investigación en la ... |
Article
![]() From Wrapping to Knowledge
(IEEE Computer Society, 2007-01-01)
One the most challenging problems for Enterprise Information Integration is to deal with heterogeneous information sources ... |
Presentation
![]() Improving the adaptation of web applications to different versions of software with MDA
(CEUR-WS, 2007-01-01)
The Model-Driven Architecture (MDA) has been proposed as a way of separating the details of an implementation platform ... |
Presentation
![]() Explanations for Agile Feature Models
(2006-01-01)
Feature models are widely used to represent product lines and they are key parts of the development process in agile ... |
Presentation
![]() Modular Software Process Simulation Models Through Metamodeling
(World Scientific and Engineering Academy and Society, 2006-01-01)
In this paper we present the main concepts and principles of a multilevel architecture to help in the development of ... |
Presentation
![]() Hacia lenguajes de metamodelado orientados a aspectos
(2006-01-01)
En este artículo se propone la extensión de los lenguajes de metamodelado con constructores de la orientación a aspectos. ... |
Chapter of Book
![]() Software Process Dynamics: Modeling, Simulation and Improvement
(World Scientific, 2006-01-01)
The aim of this chapter is to introduce the reader to the dynamics of the software process, the ways to represent and ... |
Article |
Article
![]() Improving the Automatic Procurement of Web Services Using Constraint Programming
(World Scientific Publishing, 2005-01-01)
|
Presentation
![]() A Tool to Obtain a Hierarchical Qualitative Rules from Quantitative Data
(Springer, 2005-01-01)
A tool to obtain a classifier system from labelled databases is presented. The result is a hierarchical set of rules to ... |
Article
![]() Combining Heuristics in Assembly Sequence Planning
(IOS Press, 2005-01-01)
Assembly Sequence Planning is tackled by modelling and solving a planning problem that considers the execution of the plan ... |
Presentation
![]() Using Dynamic Modeling and Simulation to Improve the COTS Software Process
(Springer, 2004-01-01)
In the last several years, software industry has undergone a significant transition to the use of existing component ... |
Article
![]() An Integrated Framework for Simulation-based Software Process Improvement
(Wiley, 2004-01-01)
In this paper we present an integrated framework for software process improvement according to CMM. The framework is ... |
Presentation |
Presentation
![]() Towards developing generic solutions with aspects
(2004-01-01)
Software industry has to face up to continuous and fast changes of technology as well as varying customer’s requirements. In ... |
Article
![]() An order-based algorithm for implementing multiparty synchronization
(John Wiley and Sons, 2004-01-01)
Multiparty interactions are a powerful mechanism for coordinating several entities that need to cooperate in order to ... |
Presentation
![]() A Controlled Experiment for Evaluating a Metric–Based Reading Technique for Requirements Inspection
(IEEE Computer Society, 2004-01-01)
Natural language requirements documents are often verified by means of some reading technique. Some recommendations for ... |
PhD Thesis
![]() Métodos para descubrir conocimientos en los datos
(2004-01-01)
|
Presentation
![]() Interval model-based diagnosis using constraint programming
(IEEE Computer Society, 2004-01-01)
|
Presentation
![]() On Selecting and Scheduling Assembly Plans Using Constraint Programming
(Springer, 2003-01-01)
This work presents the application of Constraint Programming to the problem of selecting and sequencing assembly operations. ... |
Article
![]() Automating the Procurement of Web Services
(Springer Verlag, 2003-01-01)
As government agencies and business become more dependent on web services, software solutions to automate their procurement ... |
Article
![]() Finding representative patterns withordered projections
(Elsevier, 2003-01-01)
This paper presents a new approach to 2nding representative patterns for dataset editing. The algorithm patterns by ... |
Article
![]() Evolutionary Learning of Hierarchical Decision Rules
(IEEE, 2003-01-01)
This paper describes an approach based on evolutionary algorithms, hierarchical decision rules (HIDER), for learning rules ... |
Article
![]() A Quality-Aware Approach to Web Services Procurement
(Springer Verlag, 2003-01-01)
Web services bring programmers a new way to develop advanced applications able to integrate any group of services on the ... |
Presentation
![]() Una experiencia práctica reutilizando aspectos
(2003-01-01)
Este art´ıculo cuenta nuestra experiencia obtenida tras haber realizado un proyecto utilizando la tecnolog´ıa de aspectos ... |
Article
![]() Fairness in systems based on multiparty interactions
(John Wiley and Sons, 2003-01-01)
In the context of the Multiparty Interaction Model, fairness is used to insure that an interaction that is enabled ... |
Article
![]() Interactions among dynamic sets of objects
(Springer, 2003-01-01)
In this paper, we present an operator to model interactions among objects. Our proposal allows a variable number of ... |
Presentation
![]() Knowledge Channels: Bringing the Knowledge on the Web to Software Agents
(CEUR-WS, 2003-01-01)
In this paper, we present a new framework to extract knowledge from today’s non-semantic web. It associates semantics with ... |
Presentation
![]() A Knowledge Extraction Process Specification for Today’s non-semantic Web
(IEEE Computer Society, 2003-01-01)
The semantic web shall enable web agents an efficient, precise, and comprehensive extraction of knowledge. Nevertheless, this ... |
Presentation
![]() A Framework For Classifying and Comparing Web Services Procurement Platforms
(IEEE Computer Society, 2003-01-01)
The procurement of web services (WSP) shifts the focus of architects and integrators from functional to quality-ofservice (QoS) ... |
Presentation
![]() Concerns vs components for web development
(IADIS : International Association for Development of the Information Society, 2003-01-01)
The Web has been growing and evolving in the last couple of decades at a very high speed, causing web applications to be ... |
Presentation
![]() Una Revisión Empírica de Heurísticas de Verificación de Casos de Uso basadas en Métricas
(SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2003-01-01)
En este artículo se presenta una revisión de varias de las heurísticas de verificación de requisitos basadas en métricas ... |
Presentation
![]() A Genetic Algorithm for Assembly Sequence Planning
(Springer, 2003-01-01)
This work presents a genetic algorithm for assembly sequence planning. This problem is more difficult than other sequencing ... |
PhD Thesis
![]() ![]() Una Aproximación Semicualitativa al Tratamiento Automático de Requisitos de Calidad. Aplicación a la obtención automática de acuerdos de nivel de servicio en MOWS
(2002-09-23)
De acuerdo con el tipo de técnicas empleadas, las propuestas que abordan el tratamiento sistemático de los requisitos de ... |
Article
![]() Repairing Syntax Errors in LR Parsers
(ACM, 2002-01-01)
This article reports on an error-repair algorithm for LR parsers. It locally inserts, deletes or shifts symbols at the ... |
Presentation
![]() Max-CSP Approach for Software Diagnosis
(Springer, 2002-01-01)
In software development is essential to have tools for the software diagnosis to help the programmers and development ... |
Presentation
![]() Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements
(2002-01-01)
Requirements negotiation is quite an interesting, ongoing research area. Current requirements engineering models usually ... |
Presentation |
Article
![]() A Dynamic Integrated Framework for Software Process Improvement
(Springer, 2002-01-01)
Current software process models (CMM, SPICE, etc.) strongly recommend the application of statistical control and measure ... |
Presentation
![]() Integrating Dynamic Models for CMM-Based Software Process Improvement
(Springer, 2002-01-01)
During the last decade software process simulation has been used to address a wide diversity of management problems. Some ... |
Presentation
![]() Qualitative Comparison of Temporal Series. QSI
(Springer, 2002-01-01)
In this paper, the study of systems that evolve in time by means of the comparison of time series is proposed. An improvement ... |
Presentation
![]() Marco dinámico integrado para la mejora de los procesos software
(Universidad Politécnica de Madrid, 2002-01-01)
Los modelos de procesos actuales como CMM, SPICE y otros recomiendan la aplicación de control estadístico y de guías de ... |
Presentation
![]() Applying XML technologies in Requirements Verification
(2002-01-01)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ... |
Presentation
![]() An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions
(Springer, 2002-01-01)
Multiparty interactions have been paid much attention in recent years because they provide the user with a useful mechanism for ... |
Article
![]() Verifying Software Requirements with XSLT
(ACM, 2002-01-01)
In this article, we present an approach for the automatic verification of software requirements documents. This approach ... |
Presentation
![]() Supporting Requirements Verification Using XSLT
(IEEE Computer Society, 2002-01-01)
In this paper we present a light-weight approach for the automatic verification of requirements. This approach is not based ... |
Presentation
![]() A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning
(Springer, 2002-01-01)
This paper presents a model based on pomsets (partially ordered multisets) for estimating the minimum number of setups in ... |
Presentation
![]() An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions
(Springer, 2002-01-01)
Strong fairness is a notion we can use to ensure that an element that is enabled infinitely often in a non–deterministic ... |
Presentation
![]() A Semiquantitative Approach to Study Semiqualitative Systems
(Springer, 2002-01-01)
In this paper is proposed a semiquantitative methodology to study models of dynamic systems with qualitative and quantitative ... |
Article
![]() A framework for semiqualitative reasoning in engineering applications
(Taylor and Francis, 2002-01-01)
In most cases the models for experimentation, analysis, or design in engineering applications take into account only ... |
Presentation
![]() An Enablement Detection Algorithm for Open Multiparty Interactions
(ACM Digital Library, 2002-01-01)
Coordination axnongst an arbitrary number of entities has become an important issue in recent years m fields such as ... |
Presentation
![]() A Practical Agent-Based Method to Extract Semantic Information from the Web
(Springer, 2002-01-01)
The semantic Web will bring meaning to the Internet,mak - ing it possible for web agents to understand the information it ... |
Presentation
![]() Automatic Extraction of Semantically-Meaningful Information from the Web.
(Springer, 2002-01-01)
The semantic Web will bring meaning to the Internet,making it possible for web agents to understand the information it ... |
Presentation
![]() A model for assembly sequence planning in a multirobot environment
(Elsevier, 2002-01-01)
This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ... |
Presentation
![]() Improving software process maturity through dynamic modeling and simulation
(Asociación de los profesionales de la Dirección e Ingeniería de Proyectos de España (AEIPRO), 2002-01-01)
Los modelos de procesos actuales como CMM, SPICE y otros recomiendan la aplicación de control estadístico y de guías de ... |
Presentation
![]() Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells
(Springer, 2001-01-01)
Configuration tasks are an important application area in engineering design. The proposed solving techniques use either a ... |
Presentation
![]() Una Aproximación a la Gestión Automática de Alternativas de Diseño
(CEUR-WS, 2001-01-01)
La obtención, evaluación y selección de alternativas durante la fase de diseño de cualquier sistema informático son problemas ... |
Presentation
![]() Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales
(2001-01-01)
El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotación de sistemas multiorganizacionales ... |
Presentation
![]() An XML-Based Approach for the Automatic Verification of Software Requirements Specifications
(2001-01-01)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ... |
Article
![]() A simplified model of software project dynamics
(Elsevier, 2001-01-01)
The simulation of a dynamic model for software development projects (hereinafter SDPs) helps to investigate the impact of ... |
Article
![]() An evolutionary approach to estimating software development projects
(Elsevier, 2001-01-01)
The use of dynamic models and simulation environments in connection with software projects paved the way for tools that ... |
Article |
Article
![]() An Evolutionary and Local Search Algorithm for Motion Planning of Two Manipulators
(Wiley, 2001-01-01)
A method for obtaining coordinated motion plans of robot manipulators is presented. A decoupled planning approach has been ... |
Presentation
![]() Fault Tolerance as an aspect using JReplica
(IEEE Computer Society, 2001-01-01)
Reliability and availability are very important trends in the development process of distributed systems. In order to ... |
Article
![]() Comparación cualitativa de series temporales. Indice cualitativo de similitud - QSI
(Centro de Investigación en Computación IPN, 2001-01-01)
|
PhD Thesis |
PhD Thesis |
Presentation
![]() Automated Support for Quality Requirements in Web–Service–Based Systems
(IEEE Computer Society, 2001-01-01)
The automatic checking of quality requirements will play a fundamental role in the future market of web services. The reason ... |
Presentation
![]() a framework for aspect–oriented multiparty coordination
(Springer, 2001-01-01)
Separation of concerns has been presented as a promising tool to tackle the design of complex systems in which cross–cutting ... |
Article
![]() Data Set Editing by Ordered Projection
(IOS Press, 2001-01-01)
This paper presents a new approach to data set editing. The algorithm (EOP: Editing by Ordered Projection) has some ... |
Presentation
![]() Mejora de los procesos software utilizando simulacion e integracion de tecnicas
(CEUR-WS.Org, 2001-01-01)
|
Article
![]() Diagnosis basada en modelos polinómicos usando técnicas simbólicas
(Asociación Española para la Inteligencia Artificial, 2001-01-01)
La detección y diagnosis del funcionamiento anómalo de mecanismos son importantes debido a las actuales demandas económicas ... |
Presentation
![]() SEGESOFT: un entorno de entrenamiento para la gestión de proyectos software
(SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2001-01-01)
La gestión de proyectos se puede considerar todavía como un arte en el cual el uso de la información cuantitativa tiende ... |
Presentation
![]() An Automated Approach for Verification of Software Requirements
(2001-01-01)
In this paper, we present an automated approach for the verification of software requirements. This approach is based on ... |
Presentation
![]() Integración de información en un entorno de entrenamiento para la gestión de proyectos software
(Asociación de Técnicos de Informática (ATI), 2001-01-01)
La gestión de proyectos se puede considerar todavía como un arte en el cual el uso de la información cuantitativa tiende ... |
PhD Thesis
![]() Un entorno metodológico de ingeniería de requisitos para sistemas de información
(2000-09-19)
En esta tesis se describe un entorno metodológico para la ingeniería de requisitos de sistemas de información, compuesto ... |
Article
![]() Extensiones al sistema de clasificación UML
(2000-01-01)
|
Presentation |
PhD Thesis
![]() Patrones de comportamiento temporal en modelos semicualitativos con restricciones
(2000-01-01)
En esta tesis se propone una nueva metodología para automatizar el análisis y el estudio de modelos con restricciones que ... |
PhD Thesis
![]() Gramáticas de adjunción de árboles un enfoque deductivo en el análisis sintáctico
(2000-01-01)
Las gramáticas de adjunción de árboles (Tag, Tree Adjoning Grammars) son una extensión de las gramáticas independientes ... |
Article
![]() Implementing Associations among Classes in an Environment of Active Databases
(MAIK Nauka/lnterperiodica, 2000-01-01)
The association is a native concept from relational databases, one that has been adapted to object oriented (OO) modelling. ... |
Article
![]() Discovering hierarchical decision rules with evolutive algorithms in supervised learning
(2000-01-01)
This paper describes a new approach, HIDER (HIerarchical DEcision Rules), for learning rules in continuous and discrete ... |
Article
![]() A Multiparty Coordination Aspect Language
(ACM Digital Library, 2000-01-01)
Coordination languages were motivated by an ever-increasing need for producing highly-reusable components, which can be ... |
Article
![]() Aplicación del Razonamiento Semicualitativo al modelado y análisis de sistemas económicos
(Asociación Española para la Inteligencia Artificial, 2000-01-01)
Generalmente, el uso de modelos para el estudio y análisis de sistemas económicos y de otras disciplinas, tienen en cuenta ... |
Article
![]() Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos y Razonamiento con Intervalos
(Iberamia, 2000-01-01)
Esta monografía, y en particular este artículo, nace con la intención, por un lado, de presentar el estado actual de las ... |
Article
![]() Obtención de patrones de comportamiento de modelos semicualitativos
(Asociación Española para la Inteligencia Artificial, 2000-01-01)
En este artículo se propone una nueva metodología pensada para obtener los patrones de comportamiento de los modelos ... |
Presentation
![]() An Aspect–Oriented Approach based on Multiparty Interactions to Specifying the Behaviour of a System
(Institut national de recherche en sciences et technologies du numérique (INRIA), 2000-01-01)
Isolating computation and coordination concerns into separate pure computation and pure coordination enhances modularity, ... |
Article
![]() A generic natural language interface for task planning : application to a mobile robot
(Elsevier, 2000-01-01)
This paper presents a generic natural language interface that can be applied to the teleoperation of di!erent kinds of ... |
Report
![]() Modelo dinámico reducido v.1: Informe Técnico LSI-2000-12
(2000-01-01)
Los objetivos de este documento son, en primer lugar, presentar un Modelo Dinámico Reducido (en adelante, MDR) para Proyectos ... |
Presentation
![]() A Requirements Elicitation Approach Based in Templates and Patterns
(1999-01-01)
One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood ... |
Presentation
![]() Implementing Multiparty Interactions on a Network Computer
(IEEE Computer Society, 1999-01-01)
Classical client/server interaction primitives such as remote procedure call or rendez–vous are not adequate when we need ... |
Article |
PhD Thesis |
PhD Thesis
![]() Prototipado de Especificaciones de Sistemas Distribuidos Basadas en Restricciones Aplicación al Lenguaje TESORO
(1999-01-01)
Esta tesis plantea la posibilidad de fomentar el uso de los métodos formales en la industria informática, utilizándolos ... |
Presentation
![]() Expressing Customer Requirements Using Natural Language Requirements Templates and Patterns
(WSEAS, 1999-01-01)
Expressing customer requirements so they can be understood not only by requirements engineers but also by noncomputer ... |
Presentation
![]() Object Oriented Specification based on Restrictions: Participation and Interaction
(WSES-Press Editions, 1999-01-01)
We show in this paper an object oriented model (and an associate language called TESORO) based on several kinds of ... |
Chapter of Book
![]() Decision Queue Classifier for Supervised Learning Using Rotated Hyperboxes
(1998-01-01)
This article describes a new system for learning rules using rotated hyperboxes as individuals of a genetic algorithm (GA). ... |
PhD Thesis |
Presentation
![]() Automatic Semiqualitative Analysis: Application to a Biometallurgical System
(Springer, 1998-01-01)
The aim of this work is the representation and analysis of semiqualitative models. Their qualitative knowledge is represented ... |
Presentation
![]() Including Qualitative Knowledge in Semiqualitative Dynamical Systems
(Springer, 1998-01-01)
A new method to incorporate qualitative knowledge in semiqualitative systems is presented. In these systems qualitative ... |
PhD Thesis
![]() Herencia y clasificación en un lenguaje de especificación orientado a objetos
(1998-01-01)
Esta Tesis se estructura en cinco partes. La primera es la Introducción, en la que se presenta, por un lado, la idea que ... |
Presentation
![]() A Review of Earley-Based Parser for TIG
(Springer, 1998-01-01)
Tree Insertion Grammar (TIG) is a compromise between Context-Free Grammars (CFG) and Tree Adjoining Grammars (TAG), that ... |
Article
![]() Una herramienta basada en algoritmos genéticos para obtener un clasificador jerárquico en aprendizaje supervisado
(Asociación Española para la Inteligencia Artificial, 1998-01-01)
|
Presentation
![]() Using Genetic Algorithms with Variable-length Individuals for Planning Two-Manipulators Motion
(Springer Nature, 1998-01-01)
A method based on genetic algorithms for obtaining coordinated motion plans of manipulator robots is presented. A decoupled ... |
PhD Thesis |
PhD Thesis |
PhD Thesis |
Article
![]() Software Quality Through Formal OO Specification
(WITPress, 1995-01-01)
|
Presentation
![]() A Technique for Distributed Systems Specification
(IEEE Computer Society, 1995-01-01)
In this paper we show how an object-oriented specification language is usefvl for the specification of distributed systems. ... |