Search
Now showing items 831-840 of 992
ArCOV19-Rumors: Arabic COVID-19 Twitter Dataset for Misinformation Detection
(
Association for Computational Linguistics (ACL)
, 2021 , Conference Paper)
In this paper we introduce ArCOV19-Rumors, an Arabic COVID-19 Twitter dataset for misinformation detection composed of tweets containing claims from 27th January till the end of April 2020. We collected 138 verified claims, ...
Learning games for children with intellectual challenges
(
IEEE
, 2012 , Conference Paper)
This paper discuss the design of the current educational tutorials and games which are developed for children with intellectual challenges who are resident in the Shafallah center for children with special needs in Doha, ...
An ontology-based system to dynamically extract multimedia elements for children's tutorials
(
IEEE
, 2012 , Conference Paper)
Children with intellectual disabilities are very challenging to teach, and can learn best with the use of different methodologies that engage their senses, such as using images, sounds and clips. In this work, a new ...
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 integrated e-learning system for MID and MLD children in Qatar
(
IEEE
, 2013 , Conference Paper)
Children with Moderate Intellectual Disability (MID) and those with Moderate Learning Disability (MLD) are growing up with extensive exposure to computer technology. Computers and computer-related devices have the potential ...
Semantic-Web automated course management and evaluation system using mobile applications
(
IEEE
, 2015 , Conference Paper)
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 ...
BADR: A Talking Face To Teach Arabic Vocabulary Under COVID-19
(
IEEE
, 2022 , Conference Paper)
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 ...
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 ...
Image steganography based on LSBMR using Sobel edge detection
(
IEEE
, 2014 , Conference Paper)
Steganography is the science of embedding confidential data inside data so they can be sent to destination without suspicion. Image-steganography is the most popular type of carrier to hold information. Many algorithms ...
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 ...