Introduction A complex scientific environment requires multiple considerations for handling critical and emergency conditions with an addressing solution. Indexing prioritizing are standard methods that used in such settings to improve itinerary solutions. Significance of indexing system relies on the benchmark solution strategy it implies. Methods The present study introduces evaluation method...

The Model Evolution calculus by Baumgartner and Tinelli lifts to first order logic the DPLL procedure that has been very successfully employed for propositional logic. The Darwin solver is the first implementation of the Model Evolution calculus and, as with any new implementation, once core functionality is in place the process of incremental improvement begins. This report details our effort ...

In biometric identification systems, the identity associated with the input data is determined by comparing it against every entry in the database. This exhaustive matching process increases the response time of the system and, potentially, the rate of erroneous identification. This paper presents a survey on the indexing methods that are currently available for fingerprint. Fingerprint indexin...

Various information tools appeared to help users locate and retrieve information resources over the Internet. The amount of information resources is increasing dramatically, and it is necessary to use indexing services to deal with the scalability problems. Existing indexing systems collect index data periodically from information servers only. Thus the users of indexing systems lack a common f...

Purpose – Being an important data exchange and information storage standard, XML has generated a great deal of interest and particular attention has been paid to the issue of XML indexing. Clear use cases for structured search in XML have been established. However, most of the research in the area is either based on relational database systems or specialized semi-structured data management syst...

This paper describes an important application for state-of-art automatic speech recognition , natural language processing and information retrieval systems. Methods for enhancing the indexing of spoken documents by using latent semantic analysis and self-organizing maps are presented, motivated and tested. The idea is to extract extra information from the structure of the document collection an...

Media analysis for video indexing is witnessing an increasing influence of statistical techniques. Examples of these techniques include the use of generative models as well as discriminant techniques for video structuring, classification, summarization, indexing, and retrieval. There is increasing emphasis on reducing the amount of supervision and user interaction needed to construct and utiliz...

The utility problem is observable in many learning systems including case-based reasoning (CBR). Indexing strategies have been implemented in CBR to overcome the effects of the utility problem but have been criticised as although improving retrieval efficiency they can reduce the competency of solutions and can be difficult to maintain. Here we present a novel indexing strategy based on a modif...

In this paper, we propose a novel design of content access and extraction algorithm for compressed image browsing and indexing, which is critical for all visual information systems. By analyzing the relationship between DCT coe3cients of one block of 8 × 8 pixels and its four sub-blocks of 4 × 4 pixels, the proposed algorithm extract an approximated image with smaller size for indexing and cont...

With the advent of native and XML enabled database systems, techniques for efficiently storing, indexing and querying large collections of XML documents have become an important research topic. This paper presents the storage, indexing and query processing architecture of eXist, an Open Source native XML database system. eXist is tightly integrated with existing tools and covers most of the nat...