بحث بسيط
السجلات المعروضة 31 -- 40 من 169
An Integrated Framework For Verified And Fault Tolerant Software
(
Hamad bin Khalifa University Press (HBKU Press)
, 2014 , Conference Paper)
Fault tolerance techniques should let the program continue servicing in spite of the presence of errors. They are of primary importance mainly in case of mission-critical systems. Their eventual failure may produce important ...
Novel geometric features for off-line writer identification
(
Springer Verlag
, 2014 , Article)
Writer identification is an important field in forensic document examination. Typically, a writer identification system consists of two main steps: feature extraction and matching and the performance depends significantly ...
Automatic Category Detection Of Islamic Content On The Internet Using Hyper Concept Keyword Extraction And Random Forest Classification
(
Hamad bin Khalifa University Press (HBKU Press)
, 2014 , Conference Paper)
The classification of Islamic content on the Internet is a very important step towards authenticity verification. Many Muslims complain that the information they get from the Internet is either inaccurate or simply wrong. ...
Effective Recommendation Of Reviewers For Research Proposals
(
Hamad bin Khalifa University Press (HBKU Press)
, 2014 , Conference Paper)
In this project, we address the problem that a research funding agency may face when matching potential reviewers with submitted research proposals. A list of potential reviewers for a given proposal is typically selected ...
Evaluation of Hardware Accelerators for Lattice Boltzmann based Aneurysm Blood Flow Measurement
(
Hamad bin Khalifa University Press (HBKU Press)
, 2014 , Conference Paper)
Clipping is a potential treatment for ruptured/unruptured brain aneurysm patients. In order to determine the profitable treatment and also clip's location, surgeons need to have the measurements such as velocity and blood ...
Plate: Problem-based Learning Authoring And Transformation Environment
(
Hamad bin Khalifa University Press (HBKU Press)
, 2014 , Conference Paper)
The project entitled Problem-based Learning Authoring and Transformation Environment (PLATE) is housed at Qatar University. It is under the auspices of the Qatar National Priority Research Program (NPRP). The PLATE project ...
Logic programs with ordered disjunction: First-order semantics and expressiveness
(
AAAI Publications
, 2014 , Conference Paper)
Logic programs with ordered disjunction (LPODs) (Brewka 2002) generalize normal logic programs by combining alternative and ranked options in the heads of rules. It has been showed that LPODs are useful in a number of areas ...
Car Make And Model Detection System
(
Hamad bin Khalifa University Press (HBKU Press)
, 2014 , Conference Paper)
The deployment of highly intelligent and efficient machine vision systems accomplished to achieve new heights in multiple fields of human activity. A successful replacement of manual intervention with their automated systems ...
A sensitivity analysis approach to identify key environmental performance factors
(
Hindawi Publishing Corporation
, 2014 , Article)
Life cycle assessment (LCA) is widely used in design phase to reduce the product's environmental impacts through the whole product life cycle (PLC) during the last two decades. The traditional LCA is restricted to assessing ...
Incorporating olfactory into a multi-modal surgical simulation
(
Maruzen Co., Ltd.
, 2014 , Article)
This paper proposes a novel multimodal interactive surgical simulator that incorporates haptic, olfactory, as well as traditional vision feedback. A scent diffuser was developed to produce odors when errors occur. Haptic ...