Search
Now showing items 1-10 of 11
Qualitative Dealing with Quantified Assertions
(
Qatar University
, 2002 , Article)
In this paper we present a newapproach to a symbolic treatment ofquan-tified statements having the following form "Q A's are 5's", knowing that A and B are labels denoting sets,and Q is a linguistic quantifier interpreted ...
On the Classical Multicolor Ramsey Number R(3,3,3)
(
Qatar University
, 2004 , Article)
In this paper, we are interested in the problem of evaluation of the classical multicolor Ramsey number i?(3,3,3). We first convert it successfully into a system of clauses of 3-literals each, i.e., a 3-SAT instance. We ...
Modelling and simulation of flexible assembly systems A petri net approach
(
Qatar University
, 1995 , Article)
This paper presents an approach towards constructing a class of Placc/TYansition nets for modelling, simulation and control of processes occurring in the Flexible Assembly Systems. Its objective lies in the formal statement ...
Performance Analysis of a Fileserver in an ATM Network
(
Qatar University
, 2004 , Article)
ATM continues to gain acceptance as a unifying communications technology for traffic of both digital and analog origins. The main characteristic of an ATM network is its discrete time (slotted) operation and fixed-length ...
The Models of a General Component of a Distributed Computing Systems Based On Stochastic Petri Nets
(
Qatar University
, 1994 , Article)
In this paper we propose models of a distributed computing system (DCS) based on general stochastic Petri nets (GSPN). We also propose the means to decrease the number of states. We indicate that the complexity of DCS ...
A Qualitative Approach to Direct Inference Principle
(
Qatar University
, 2002 , Article)
In this paper,we study the suitability of a symbolic model of syllogistic reasoning and direct inference principle with the representation and the management of knowledge based on statistical information and evaluated in ...
Disign and Implementation of a System for Visual Programming
(
Qatar University
, 1999 , Article)
The aim of the project of this paper is to design and implement a system for visual programming, based on data flow graphs. Data flow is applicative and based on transformations on data flowing through a graph. The system ...
Path planner for a mobile shape-changeable intelligent bobot in A 3-dimenxional environment
(
Qatar University
, 1995 , Article)
This study deals with the path planning problem in robotics. This problem is a basic problem to solve some pre-specified task, and then controlling the robot as it executes the commands necessary to achieve its goal. This ...
Design and Performance Evaluation of a High Speed Transport Protocol
(
Qatar University
, 1994 , Article)
Transport protocols that were designed for network today are not adequate for high speed networks of the future due to the increase in network bandwidth relative to the speeds of the processor components. As a result, 100 ...
Partial Connection : A New Approach To Improving The Bandwidth Of Banyan Networks
(
Qatar University
, 1995 , Article)
Banyan networks have been proposed as interconnection networks for large multiprocessors, those containing hundreds or even thousands of processors. Their attractiveness is attributed to two features : low manufacturing ...