Computer Science & Engineering: Recent submissions
Now showing items 401-420 of 2427
-
BADR: A Talking Face To Teach Arabic Vocabulary Under COVID-19
( IEEE , 2022 , Conference)We propose an Arabic talking face called Badr to teach the language vocabulary for young students under COVID-19 pandemic. Badr is built on the previous talking face Baldi (e.g., an American English talking face) with many ... -
ICCA 2022 General Chairs Word
( IEEE , 2022 , Conference)Proceedings of the International Conference on Computer and Applications, ICCA 2022 - Proceedings -
VALID-2: A practical modeling, simulation and verification software for distributed systems
( IEEE , 2004 , Conference)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 ... -
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 ... -
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 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 neural network algorithm for hardware-software verification
( IEEE , 2003 , Conference)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. ... -
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 ... -
An efficient model checker based on theaxiomatization of Propositional Temporal Logic in rewriting logic
( IEEE , 2003 , Conference)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 ... -
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 ... -
Improvement of the DSATUR algorithm for graph coloring
( Arabian Gulf University , 2003 , Article)In this paper we discuss the deterministic Brelaz's DSATUR algorithm for graph coloring. We propose a simple modification that improves the performance of the algorithm. This modification consists of assigning the color ... -
Illustrate It! An Arabic Multimedia Text-to-Picture m-Learning System
( IEEE , 2017 , Article)Multimedia learning is the process of building mental representation from words associated with images. Due to the intuitiveness and vividness of visual illustration, many texts to picture systems have been proposed. ... -
A pictorial mobile application for improving communication skills in non-verbal autism
( International Association of Online Engineering , 2015 , Article)It is estimated that as many as 25 percent of individuals living with autism spectrum disorders are nonverbal. That is, they cannot functionally communicate with others using their voice. Despite that substantial fraction, ... -
A concept analysis scheme of simple stories for learning resources through extraction of domain-based multimedia elements
( International Association of Online Engineering , 2017 , Article)Children with special needs face major difficulties to understand the script of stories. They cannot comprehend the words' meaning properly. Instructors use different techniques to explain them. They read the script several ... -
Design and implementation of a multimedia-based technology solution to assist children with intellectual disability to learn
( Kassel University Press GmbH , 2017 , Article)This paper presents an innovative technological solution to improve the understanding and cognitive functions of children with intellectual disability through multimedia. New algorithms that mine the story-based scripts, ... -
Towards an ontology-driven game-based educational platform with automatic student monitoring
( IEEE , 2015 , Conference)This paper presents a new educational platform for young children. It is based mainly on serious games and semantic web. The platform is used to assess and monitor the children' progress and performance in meeting preset ... -
Semantic-Web automated course management and evaluation system using mobile applications
( IEEE , 2015 , Conference)Different types of e-assessment systems that are recognized at universities and based on the campus wireless have been developed. These systems help the students to use their Mobile Phones as learning media to access the ... -
A native Arabic eLearning mobile application to transpose Arabic text to illustrations
( IEEE , 2015 , Conference)Mobile eLearning are capable to avail children in improving learning capabilities, self-consciousness living, and profession growth. They can inspire the perfection of eLearning with the diverse subservient smart handled ... -
The multimedia-based learning system improved cognitive skills and motivation of disabled children with a very high rate
( International Forum of Educational Technology,National Taiwan Normal Universityand Society, , 2015 , Article)A multimedia-based learning system to teach children with intellectual disabilities (ID) the basic living and science concepts is proposed. The tutorials' development is pedagogically based on Mayer's Cognitive Theory of ... -
Framework for development of cognitive technology for children with hearing impairments
( IEEE , 2015 , Conference)The main aim of this study is to investigate the needs of people with HI in the Arab world, and propose a system design that would help alleviate the challenges they face. The system design is centered on Arabic-based ...
