In this paper, we are interested in the Maximum Satisfiability Problem (MAX-SAT) which is an optimization variant of the Boolean satisfiability problem (SAT). SAT is of a central importance in various areas of computer science, including theoretical computer science, algorithmic, artificial intelligence, hardware design and verification. Formally, given a set of m clauses C = {C1;C2 . . . Cm} i...

This paper describes metaheuristic algorithm based on simulated annealing method,which is a nature-inspired method, to analyze and improve the efficiency of the design of Global Positioning System (GPS) surveying networks. Within the context of satellite surveying, a positioning network can be defined as a set of points which are coordinated by placing receivers on these point to determine sess...

Bayesian Network (BN) is a classification technique widely used in Artificial Intelligence. Its structure is a Direct Acyclic Graph (DAG) used to model the association of categorical variables. However, in cases where the variables are numerical, a previous discretization is necessary. Discretization methods are usually based on a statistical approach using the data distribution, such as divisi...

In this paper, we address the efficiency of implementing the tf x idf ranking strategy with inverted files. Two search methods are studied. The first one sorts postings lists of query terms based upon the list length. It is the traditional sorting method used in the upperbound search algorithm. The second one sorts postings lists based upon the maximum tf as well as the list length. We show tha...

This paper deals with the application of Toeplitz matrices and their minimal eigenvalues together with a number of different types of Neural Networks on Speech Recognition. The speech signal is looked at as an image and it is treated graphically. The object of our research in this work is some spoken Arabic words – the digits from zero to ten, recorded from a set of twenty persons. The approach...

This paper describes a method to schedule shifts in the most optimum way desire for today’s cost sensitive industries. The main problem for this domain is to make sure all shifts are assigned to cover all or maximum jobs available. The shifts also need to be schedule with the least manpower possible, avoid manpower idling during the shift and take into consideration employee’s time adaptability...

extended abstractintroduction:natural disasters management requires local information in order to be ready against dangers and reduce their procedure. hence, evaluation of landslide occurrence in the area which is prone to landslide due to geographical condition and human constructions is high crucial. ghale chai dam located at ajabshir watershed is one kind of such areas. so the aim of present...

Abstract: PT. Energi Mandiri Internasional was established on November 22, 2011 as a reinsurance broker consultant and risk management consultancy to ensure the financial stability of service users. The company's website; energyre-int.com place self advertise company with an electronic mail feature answer questions from potential clients. Heuristic evaluation method used test feasibility user i...