Buscar
Mostrando ítems 31-40 de 41
Ponencia
Sistema de consulta vía Web para el Instituto Andaluz de Patrimonio Histórico
(2001)
En este artículo se presenta un sistema de consulta vía Web que está siendo desarrollado para el Instituto Andaluz de Patrimonio Histórico. Dicho sistema utiliza una arquitectura, basada en ontologías, para la consulta ...
Ponencia
SNN: A Supervised Clustering Algorithm
(Springer, 2001-06)
In this paper, we present a new algorithm based on the nearest neighbours method, for discovering groups and identifying interesting distributions in the underlying data in the labelled databases. We introduces the theory ...
Ponencia
Fault Tolerance as an aspect using JReplica
(IEEE Computer Society, 2001)
Reliability and availability are very important trends in the development process of distributed systems. In order to improve these features, object replication mechanisms have been introduced. Programming replication ...
Ponencia
Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales
(2001)
El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotación de sistemas multiorganizacionales basados en la WEB (MOWS), ha puesto de relieve algunas limitaciones de los actuales lenguajes ...
Ponencia
Folding by Similarity
(Gruppo Ricercatori e Utenti Logic Programming, 2001)
A formal specification can describe software models which are di±cult to program. Transformational methods based on fold/unfold strategies have been proposed to palliate this problem. The objective of applying ...
Ponencia
Requisitos de almacenamiento de información e identificación de actores para una biblioteca digital de bienes muebles
(2001)
Desarrollar una biblioteca digital no es una tarea sencilla. En ella intervienen técnicos y expertos que deben tener una fluida comunicación que permita que el sistema resultante se adecue a las necesidades del usuario. ...
Ponencia
An Automated Approach for Verification of Software Requirements
(2001)
In this paper, we present an automated approach for the verification of software requirements. This approach is based on the representation of software requirements in XML and the usage of the XSLT language to automatically ...
Artículo
Diagnosis basada en modelos polinómicos usando técnicas simbólicas
(Asociación Española para la Inteligencia Artificial, 2001)
La detección y diagnosis del funcionamiento anómalo de mecanismos son importantes debido a las actuales demandas económicas y medio ambientales que las empresas requieren para permanecer en los mercados competitivos. ...
Capítulo de Libro
Non-parametric Nearest Neighbor with Local Adaptation
(2001)
The k-Nearest Neighbor algorithm (k-NN) uses a classification criterion that depends on the parameter k. Usually, the value of this parameter must be determined by the user. In this paper we present an algorithm based on ...
Artículo
An Evolutionary and Local Search Algorithm for Motion Planning of Two Manipulators
(Wiley, 2001)
A method for obtaining coordinated motion plans of robot manipulators is presented. A decoupled planning approach has been used; that is, the problem has been decomposed into two subproblems: path planning, where a ...