Search
Now showing items 31-40 of 87
A decision support system based on ranking methods
(
IEEE
, 2003 , Conference Paper)
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 ...
A toolset for the specification and verification of embedded systems
(
IEEE
, 2003 , Conference Paper)
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 ...
Fuzzy time-frequency defect classifier for NDT applications
(
IEEE
, 2009 , Conference Paper)
In this paper, a customized classifier is presented for the industry-practiced Nondestructive Evaluation (NDE) protocols using a Hybrid-Fuzzy Inference System (FIS) to classify the and characterize the defects commonly ...
Towards an electronic voting system for the state of Qatar
(
IEEE
, 2009 , Conference Paper)
In this paper we propose an electronic voting system for the state of Qatar. The system allows Qataris people to vote online from their preferred locations, (homes or offices) without the need to move physically to the ...
Text summarization based on conceptual data classification
(
IGI Global
, 2008 , Book chapter)
In this paper, 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 or ...
SecCom: A prototype for integrating security-aware components
(
Springer Verlag
, 2009 , Conference Paper)
This paper addresses information security from systems development point of view. This paper presents a prototype demonstrating how security-aware software components can be composed with other remote objects in terms of ...
Managing optimality in multi-sensor data fusion consistency using intersection and largest ellipsoid algorithms
(
Nova Science Publishers, Inc.
, 2009 , Book chapter)
The purpose of this chapter is to provide a theoretical and practical framework to tackle the target tracking problem known as the track-to-track correlation problem. When static (e.g. radars) or dynamic (e.g. AWACs) sensors ...
Intelligent surround sensing using fuzzy inference system
(
IEEE
, 2005 , Conference Paper)
In this paper, an Intelligent Surround Sensing using Fuzzy Inference System (ISSFIS) that helps to prevent accidents caused by errant lane changes due to blind spots and carelessness of drivers is presented. Sensors such ...
Image deconvolution for enhancing IR images in order to detect defects in metallic plates
(
IEEE
, 2009 , Conference Paper)
In this paper, infrared (IR) imaging technique is used in conjunction with image deconvolution algorithms in order to enhance detection capabilities of the NDT personnel in detecting defects such as cracks, voids, and ...
VALID-2: A practical modeling, simulation and verification software for distributed systems
(
IEEE
, 2004 , Conference Paper)
Distributed systems verification is one of the main issues in software engineering. It is considered as the major field of the formal specification techniques. However, many difficulties remain. In fact, the principal ...