Search
Now showing items 261-270 of 3291
ConProve: A conceptual prover system
(
IEEE
, 2014 , Conference Paper)
ConProve is an automated prover for propositional logic. It takes, as an input, a set of propositional formulas and proves whether a goal holds or not. ConProve converts each formula to its corresponding Truth Table Binary ...
Classification ensemble to improve medical named entity recognition
(
Institute of Electrical and Electronics Engineers Inc.
, 2014 , Conference Paper)
An accurate Named Entity Recognition (NER) is important for knowledge discovery in text mining. This paper proposes an ensemble machine learning approach to recognise Named Entities (NEs) from unstructured and informal ...
Contextual Preparation of Future Engineers: A non-Western Perspective
(
IEEE
, 2008 , Conference Paper)
The advent of technological communication and modern travel has increased the likelihood that graduates from engineering programs will work in environments containing integrated cultures, customs, and languages. One may ...
An Integrated Quay Crane Assignment and Scheduling Problem Using Branch-and-Price
(
Institute of Electrical and Electronics Engineers Inc.
, 2017 , Conference Paper)
This paper investigates the integrated quay crane assignment and scheduling problem (QCASP). The problem requires determining the assignment of quay cranes to vessels and the scheduling of operations to be performed by ...
An automatic time-frequency procedure for interference suppression by exploiting their geometrical features
(
IEEE
, 2011 , Conference Paper)
This paper presents an adaptive method for interference suppression in the Wigner-Ville distribution. The structure of the artifacts in the Wigner-Ville distribution has been analyzed to optimally mask the signal Wigner-Ville ...
R-wave detection: A comparative analysis of four methods using newborn piglet ECG
(
IEEE
, 2010 , Conference Paper)
In the electrocardiograph (ECG), R-wave is the positive upward deflection in the QRS complex which represents the depolarization of both left and right ventricles. Accurate detection of the R-wave peaks in the ECG plays a ...
Potential use of mixed indigenous microalgae for carbon dioxide bio-fixation and advanced wastewater treatment
(
AIChE
, 2017 , Conference Paper)
The potential use of mixed indigenous microalgae (MIMA) as a CO2 capturing technology and treatment process for wastewaters was evaluated at two temperatures ( 25 and 30 C) and different CO2 dosage ( 0%, 5% and 15%). During ...
Questionnaire development process to measure the SMEs' continuous use behavior towards cloud computing services
(
Association for Computing Machinery
, 2019 , Conference Paper)
In the business world, cloud computing (CC) technologies are emerging computing platforms used to improve the deployment of ICT services with the aim of improving performance and competitive advantage. However, enough ...
Cost performance based control reconfiguration in multi-agent systems
(
Institute of Electrical and Electronics Engineers Inc.
, 2014 , Conference Paper)
In this paper, a reconfigurable control protocol for a linear multi-agent system seeking consensus in presence of actuator faults and saturations is investigated. The control protocol consists of two parts: healthy system ...
On the capacity of cooperative diversity systems with adaptive modulation
(
IEEE
, 2005 , Conference Paper)
In recent years, cooperative diversity systems have gained increased attention in the literature as a new way of combating the effect of signal fading. In this paper, we investigate the performance of these systems when ...