Search
Now showing items 81-90 of 2077
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 ...
Simplified vibration response prediction for slender monumental stairs
(
American Society of Civil Engineers (ASCE)
, 2014 , Conference Paper)
Slender monumental stairs are major architectural features in hotels, condominiums, hospitals, and other high-end building structures. Architectural requirements for these are usually very aggressive, with long spans and ...
Effectiveness of combined time-frequency imageand signal-based features for improving the detection and classification of epileptic seizure activities in EEG signals
(
IEEE
, 2014 , Conference Paper)
This paper presents new time-frequency (T-F) features to improve the detection and classification of epileptic seizure activities in EEG signals. Most previous methods were based only on signal features derived from the ...
A fully accessible Arabic learning platform for assisting children with intellectual challenges
(
Springer International Publishing
, 2014 , Conference Paper)
Children with intellectual challenges (IC) are growing up with wide exposure to computer technology. Computer software and assistive devices have the potential to help these children in their education, career development, ...
On the correlation analysis of electric field inside jet engine
(
IEEE
, 2014 , Conference Paper)
A Simple channel modeling method based on correlation analysis of the electric field inside jet engine is presented. The analysis of the statistical propagation characteristics of electromagnetic field inside harsh jet ...
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 ...
A non-inclusive memory permissions architecture for protection against cross-layer attacks
(
IEEE
, 2014 , Conference Paper)
Protecting modern computer systems and complex software stacks against the growing range of possible attacks is becoming increasingly difficult. The architecture of modern commodity systems allows attackers to subvert ...
Multilinear sparse decomposition for best spectral bands selection
(
Springer Verlag
, 2014 , Conference Paper)
Optimal spectral bands selection is a primordial step in multispectral images based systems for face recognition. In this context, we select the best spectral bands using a multilinear sparse decomposition based approach. ...
Stability analysis of an active-damped LLCL filter- based grid-connected three-phase inverter
(
IEEE
, 2014 , Conference Paper)
Power passive filters are a standard solution for gridcurrent harmonics attenuation. However, these types of filters may cause a resonance between the inverter and the grid. Passive and active damping techniques are employed ...
Fault detection and isolation of Fornasini-Marchesini 2D systems: A geometric approach
(
IEEE
, 2014 , Conference Paper)
The fault detection and isolation (FDI) problem for discrete-time two-dimensional (2D) systems represented by the Fornasini-Marchesini model II is investigated in this work. It is shown that the sufficient conditions for ...