Maximum Satisfiability (MaxSAT) is an important NP-hard combinatorial optimization problem with many applications andMaxSAT solving has attracted much interest. This work proposes a new incomplete approach toMaxSAT.We propose a novel decimation algorithm for MaxSAT, and then combine it with a local search algorithm. Our approach works by interleaving between the decimation algorithm and the loc...

Cloud computing, a term introduced ten years ago, has proliferated rapidly both in developed and developing economies. Benefit expectations have impacted the rapid usage increase of this technology. We investigated with a five-year longitudinal survey changes in the expectations regarding cloud computing. We also crafted an integrated multilevel model to understand how cloud expectations and cl...

Retinal image quality assessment (IQA) algorithms use different hand crafted features without considering the important role of the human visual system (HVS). We solve the IQA problem using the principles behind the working of the HVS. Unsupervised information from local saliency maps and supervised information from trained convolutional neural networks (CNNs) are combined to make a final decis...

One of the core components of modern spoken dialogue systems is the belief tracker, which estimates the user’s goal at every step of the dialogue. However, most current approaches have difficulty scaling to larger, more complex dialogue domains. This is due to their dependency on either: a) Spoken Language Understanding models that require large amounts of annotated training data; or b) hand-cr...

Named entity (NE) recognition is a task in which proper nouns and numerical information in a document are detected and classified into categories such as person, organization, location, and date. NE recognition plays an essential role in information extraction systems and question answering systems. It is well known that hand-crafted systems with a large set of heuristic rules are difficult to ...

The Web has continued to grow up since its inception in volume of information, in the complexity of its topology, as well as in its diversity of content and services. This phenomenon was transformed the web in spite of his young age to an obscure media to take useful information. Today, they are billions of HTML documents, images and other media files on the Internet. Taking into account the wi...

One popular approach for human action recognition is to extract features from videos as representations, subsequently followed by a classification procedure of the representations. In this paper, we investigate and compare hand-crafted and random feature representation for human action recognition on YouTube dataset. The former is built on 3D HoG/HoF and SIFT descriptors while the latter bases ...

With the growing popularity of anomaly detection systems, which is due partly to the rise in zero-day attacks, a new class of threats have evolved where the attacker mimics legitimate activity to blend in and avoid detection. We propose a new system called Siren that injects crafted human input alongside legitimate user activity to thwart these mimicry attacks. The crafted input is specially de...

The Nordic model and organizational research highlight the benefits of employee participation collaboration between management employees. Using job crafting theory, this paper studied roles safety representatives craft for themselves in interventions, mental models that impact they craft, possible consequences these have intervention implementation. used a case study design to interview 15 diff...