بحث بسيط
السجلات المعروضة 51 -- 60 من 85
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 ...
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 ...
A new construction technique of a triangle-free 3-colored K16’s
(
Elsevier Inc
, 2006 , Article)
In this paper, we propose a new coloring technique of the edges of the complete graph on 16 vertices, K16, with three different colors, without producing any monochromatic triangle. This method is totally different from ...
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
(
Elsevier
, 2003 , Article)
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 ...
Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage
(
Springer Berlin / Heidelberg
, 2009 , Conference Paper)
Association rules extraction from a binary relation as well as reasoning and information retrieval are generally based on the initial representation of the binary relation as an adjacency matrix. This presents some ...
Text Summarization Based on Conceptual Data Classification
(
IGI Global
, 2006 , Article)
In this article, we present an original approach for text summarization using conceptual data classification. We show how a given text can be summarized without losing meaningful knowledge and without using any semantic ...
A neural network algorithm for hardware-software verification
(
IEEE
, 2003 , Conference Paper)
Formal verification is the task of proving that a property holds for a model of a design. This paper examines the idea of a Neural Network-based algorithm used to find the set of states that makes a specification valid. ...
An assistive computerized system for children with intellectual and learning disabilities
(
Springer
, 2009 , Conference Paper)
This work proposes an assistive computerized system using the Arabic language for children with intellectual and learning disabilities (ILD) who are resident at Shafallah Center in Doha, Qatar. The system is flexible and ...
An efficient model checker based on theaxiomatization of Propositional Temporal Logic in rewriting logic
(
IEEE
, 2003 , Conference Paper)
In this paper, we propose an efficient Model Checker for the Propositional Temporal Logic denoted by PTL. This logic is hown to be well suited to verify electronic circuits and reactive systems. A typical verification ...