Computer Science & Engineering: Recent submissions
Now showing items 381-400 of 2402
-
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 ... -
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 ... -
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 ... -
A rewriting logic-based computation and deduction approach to avoid reactive system malfunctions
( IEEE , 2003 , Conference Paper)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 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 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 ... -
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 ... -
E-wobble: An electronic wobble board for ankle and toe rehabilitation
( IEEE , 2011 , Conference Paper)Foot-drop is a common symptom among post stroke patients. It is characterized by the inability of a person to raise his/her foot at the ankle and to drag the toes during swing. To overcome such disability, long-term ... -
Conceptual ascendant feature extraction of a financial corpus
( IEEE , 2010 , Conference Paper)In the scope of Financial Watch project, in order to create a feature of a corpus reflecting its semantic structure, a general algorithm of text micro structuring and browsing is proposed. The same conceptual algorithm has ... -
Financial events detection by conceptual news categorization
( IEEE , 2010 , Conference Paper)In the scope of Financial Watch project, several targeted events have been required by contacted users in banking and investment domains. Financial news are classified with respect of the list of desired events. In this ... -
Tele-wobble: A telerehabilitation wobble board for lower extremity therapy
( IEEE , 2012 , Article)Ankle deficiencies occur quite often among poststroke patients and people working in physically demanding professions in general. Computerized telerehabilitation systems have emerged as promising assistive tools for effective ... -
Using fringes for minimal conceptual decomposition of binary contexts
( World Scientific Publishing Co. Pte Ltd , 2012 , Article)Extracting knowledge from huge data in a reasonable time is still a challenging problem. Most real data (structured or not) can be mapped to an equivalent binary context, with or without using a scaling method, as for ... -
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 Arabic-based tutorial system for children with special needs
( Springer , 2012 , Conference Paper)In spite of the current advance of the use of computers in education in the Arab world, complete suites of solutions for students with special needs are very scarce. This paper presents an assistive system managing learning ... -
MeMaPads: Enhancing children's well-being through a physically interactive memory and math games
( IEEE , 2012 , Conference Paper)Obesity has recently become an epidemic that endangers the well-being of all the modern societies, especially the young generations. The lack of physical activity is considered as one major reason that contributes to such ... -
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 ... -
RFID-based interactive multimedia system for the children
( Springer , 2012 , Article)In this paper, we present an interactive edutainment system for the children that leverages multimedia and RFID technologies in a seamless manner. The proposed system allows children to learn about new objects/entities by ... -
Learn-pads: A mathematical exergaming system for children's physical and mental well-being
( IEEE , 2011 , Conference Paper)Child obesity is one of the major challenges facing modern societies, especially in developed countries. Exergaming tools are considered as effective means to reduce obesity among kids because they require the children to ... -
An assistive computerized system for children with moderate intellectual and learning disabilities
( IEEE , 2011 , Conference Paper)We aim in this project to develop a system for children with intellectual and learning disabilities that supports collaboration, data exploration, communication and creativity. The system offers specific tutorials on basic ... -
A pictorial mobile-based communication application for non-verbal people with autism
( IEEE , 2014 , Conference Paper)Non-verbal people with autism are usually unable to communicate normally using natural languages. They can, however, learn to communicate through specific symbols and images. Special education instructors have adopted this ...