Buscar
Mostrando ítems 1-10 de 23
Ponencia
Semántica formal de asociaciones y agregados para su implementación con reglas activas
(Universidad de Extremadura: Grupo de Paralelismo, 1999-11)
Ponencia
Using Genetic Algorithms with Variable-length Individuals for Planning Two-Manipulators Motion
(Springer Nature, 1998)
A method based on genetic algorithms for obtaining coordinated motion plans of manipulator robots is presented. A decoupled planning approach has been used; that is, the problem has been decomposed into two subproblems: ...
Ponencia
A Technique for Distributed Systems Specification
(IEEE Computer Society, 1995)
In this paper we show how an object-oriented specification language is usefvl for the specification of distributed systems. The main constructors in this language are the objects. An object consists of a state, a behaviour ...
Ponencia
A Requirements Elicitation Approach Based in Templates and Patterns
(1999)
One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood not only by requirements engineers but also by noncomputer professional customers and users. The ...
Ponencia
Expressing Customer Requirements Using Natural Language Requirements Templates and Patterns
(WSEAS, 1999)
Expressing customer requirements so they can be understood not only by requirements engineers but also by noncomputer professional customers is not an easy task. Natural language is frequently the usual choice for ...
Ponencia
Parsing TAGs with Prolog
(dblp computer science bibliography, 1997)
Among formalisms for the computation of syntactic description of natural language sentences, Tree Adjoining Grammars (TAG) play a major role. Several classical Context Free Grammars (CFGs) parsers have been redefined for ...
Ponencia
Especificación orientada a objetos desde un enfoque algebraico
(Universidad Politécnica de Valencia, 1994-09)
Este trabajo es un intento de relacionar las, especificaciones algebraicas, de datos y procesos, con el paradigma orientado a objetos, desde el punto de vista de un lenguaje de especificación formal. Mostramos algunas ...
Ponencia
Qualitative Behavior Associated to System Dynamics Influence Diagrams
(International System Dynamic Conference (ISDC), 1992)
The paper introduces a simple dynamical system associated to the influence diagram which contains only qualitative information. It is a analysed how with the information in the influence diagram only limited conclusions ...
Ponencia
Especialización en el ámbito del modelo conceptual
(Universidad de Extremadura: Grupo de Paralelismo, 1999-11)
Capítulo de Libro
Three Geometric Approaches for representing Decision Rules in a Supervised Learning System
(Morgan Kaufmann Publishers Inc, 1999)