Papers by Spyros Xanthakis
Application de la theorie casuelle a la comprehension d'un texte
SIGLECNRS T 58728 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Using Conventional Testing Techniques for KBS: An Overview
Qualitative algorithmics using order of growth reasoning
European Conference on Artificial Intelligence, Aug 8, 1994
WORLD SCIENTIFIC eBooks, Jun 22, 2021
The design aid tools constitute optimum supports in the final phases but are not intended to assi... more The design aid tools constitute optimum supports in the final phases but are not intended to assist the upstream phases of the design. LSE03 Logicom System Engineering 03-implements an approach which, through the interaction of the actors/designers with different techniques such as diagrammatic reasoning, qualitative reasoning, case-based reasoning, etc., is used to structure, handle and store knowledge frequently incorrectly defined, incomplete and heterogeneous.
HAL (Le Centre pour la Communication Scientifique Directe), Jun 1, 1993
We present a general method of handling constraints in genetic optimization, based on the Behavio... more We present a general method of handling constraints in genetic optimization, based on the Behavioural Memory paradigm. Instead of requiring the problem-dependent design of either repair operators (projection on the feasible region) or penalty function (weighted sum of the constraints violations and the objective function), we sample the feasible region by evolving from an initially random population, successively applying a series of di erent tness functions which embody constraint satisfaction. The nal step is the optimization of the objective function restricted to the feasible region. The success of the whole process is highly dependent on the genetic diversity maintained during the rst steps, ensuring a uniform sampling of the feasible region. This method succeeded on some truss structure optimization problems, where the other genetic techniques for handling the constraints failed to give good results. Moreover in some domains, as in automatic generation of software test data, no other technique can be easily applied, as some constraints are not even computable until others are satis ed.
Using Conventional Testing Techniques for KBS: An Overview
Artificial Intelligence Methods for Software Engineering, 2021
The design aid tools constitute optimum supports in the final phases but are not intended to assi... more The design aid tools constitute optimum supports in the final phases but are not intended to assist the upstream phases of the design. LSE03 Logicom System Engineering 03 - implements an approach which, through the interaction of the actors/designers with different techniques such as diagrammatic reasoning, qualitative reasoning, case-based reasoning, etc., is used to structure, handle and store knowledge frequently incorrectly defined, incomplete and heterogeneous.
Qualitative Algorithmics Using Order of Growth Reasoning
The new role of a documentation system for standardization
Proceedings 1993 Software Engineering Standards Symposium
ABSTRACT
Immune system and fault-tolerant computing
Lecture Notes in Computer Science, 1996
Immune system (IS) is capable of evolving, learning, recognising and eliminating foreign molecule... more Immune system (IS) is capable of evolving, learning, recognising and eliminating foreign molecules which invade organisms. Fault tolerant approaches consist in detecting erroneous states of an algorithm and executing recovery procedures. They are generally implemented by adding formal properties to be satisfied by state variables during execution. However, defining fault-tolerant procedures can be error-prone and sometimes equivalent to a formal proof. Moreover, it is always very difficult to make a sound assumption about the typology and frequency of real. We propose an analogy between IS and fault tolerant computing. After a brief presentation of immune algorithms and especially lymphocyte simulation (B-cells, suppressor T-cells, etc.) using genetic operators, we present an immune model for detecting and recovering erroneous states during execution. Program states are examined by procedures playing the role of B-cells. Those properties have previously been learnt, automatically, during testing phase using mutation analysis techniques. When a program state has to be recovered, T-cells procedures are activated in order to recover erroneous states. In this way, each software algorithm may develop automatically its own immune system capable of evolving and stimulating specific responses to software failures. We finish by a brief discussion of the main possibilities of an immune approach to fault-tolerant computing.
New role of a medical documentation system
Medical Informatics, 1992
Architecture of a new medical documentation system (MDS) is proposed. First, we studied the tradi... more Architecture of a new medical documentation system (MDS) is proposed. First, we studied the traditional MDS in terms of organizational structure, main functions, means (resources) and personnel. Special emphasis is given to the information retrieval (IR) system which is the kernel of a MDS. Then, some achievements of information technology is summarized, and concept of a mixed IR system which is the kernel of the new system is presented. New architecture is then presented. Units which compose the entire system are: host documentation centre, local documentation centres, and documentation units. Eventually, objective and features of every part are discussed.
Proceedings of the 9th …, 2005
In this paper we present a graph based formalism for the analysis and the behavioral envisioning ... more In this paper we present a graph based formalism for the analysis and the behavioral envisioning of software based systems. We first try to identify and solve the main limitations of dynamic analysis approaches. Follow some results of a qualitative abstraction tool and some simple application examples. We then introduce the concept of a system qualitative graph, the role of graph homomorphisms for modeling a software, and more generally a system, as a continuous phase transition map operating on an abstract data space. We finish with the presentation of the underlying mathematical framework and some properties of graph homomorphism invariants.
A genetic algorithm for active noise control actuator positioning
Mechanical Systems and Signal Processing, 1995
Active noise control systems (ANCS) have been used extensively in several diverse applications in... more Active noise control systems (ANCS) have been used extensively in several diverse applications in order to reduce the sound levels within a confined space. Several control schemes have been proposed, all of which rely on the same basic idea, namely that of ...
In this paper we present an ontology for the analysis and the envisioning of software based syste... more In this paper we present an ontology for the analysis and the envisioning of software based systems. We first try to identify and solve the main difficulties of using qualitative reasoning in software engineering. Follow some results of a qualitative abstraction tool and some simple application examples. We then introduce the concept of a system qualitative graph, and the role of graph homomorphisms for modeling a software, and more generally a system, as a continuous phase transition map operating on an abstract data space. We finish with the presentation of the underlying mathematical framework and some properties of graph homomorphism invariants and their use in qualitative reasoning.
International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06), 2005
Uploads
Papers by Spyros Xanthakis