Search
Now showing items 1-7 of 7
A toolset for the specification and verification of embedded systems
(
IEEE
, 2003 , Conference)
Because of many malfunctions of some critical real-time systems (Pentium bug, Ariane lance rocket), which have caused life and billion dollars loss, computer aided formal methods have been developed and successfully applied ...
A rewriting logic-based computation and deduction approach to avoid reactive system malfunctions
(
IEEE
, 2003 , Conference)
Maude is, a powerful formal declarative programming language based on rewriting logic. Because of the reflective characteristic of the rewriting logic, Maude is considered by the scientific community as a universal model ...
A decision support system based on ranking methods
(
IEEE
, 2003 , Conference)
The complexity of decision making in industrial and economic fields is a phenomenon that has become difficult to surmount. This makes the decision maker feel powerless in front of unpredictable, non understandable and ...
An approach for constructing complex discriminating surfaces based on Bayesian interference of the maximum entropy
(
Elsevier Inc.
, 2003 , Article)
In this paper we present a comprehensive Maximum Entropy (MaxEnt) procedure for the classification tasks. This MaxEnt is applied successfully to the problem of estimating the probability distribution function (pdf) of a ...
Non-linear simulation of controller for longitudinal control augmentation system of F-16 using numerical approach
(
Elsevier Inc
, 2003 , Article)
The non-linear simulation of controller for automatic flight control system is an essential part of the complete control design process. After using the linear approach in the design and simulation of the controller (control ...
Preface : Information Sciences
(
Elsevier
, 2003 , Other)
In recent years the involvement of Information Technology in business,
governments, and education has increased dramatically. More and more research
works have been conducted in different areas of Information Technology
such ...
A multi-level conceptual data reduction approach based on the Lukasiewicz implication
(
Elsevier Science Inc
, 2003 , Article)
Starting from fuzzy binary data represented as tables in the fuzzy relational database, in this paper, we use fuzzy formal concept analysis to reduce the tables size to only keep the minimal rows in each table, without ...