The various processing methods available in the Si v LART system can be studied singly or in combination 0 The use of combined processing methods can produce more accurate retrieval when the methods that are combined complement each other, producing different relevant documents near the top of the rank list. To aid in the evaluation of multiple processing methods, a program named MORVAL has bee...

Test data compression is an effective methodology for reducing test data volume and testing time. In this paper, we present a new test data compression technique based on block merging. The technique capitalizes on the fact that many consecutive blocks of the test data can be merged together. Compression is achieved by storing the merged block and the number of blocks merged. It also takes adva...

The aim of this paper is to develop the calculus hesitant fuzzy numbers (HFNs), have been recently proposed as newest extension sets. At first, based on willingness decision maker each part HFNs, a new method has compare them. Then, several t-norm and t-conorm-based aggregation operators i.e., algebraic t-conorm, Einstein Hamacher Frank t-conorm defined, some their mathematical properties are a...

Structured text is a general concept that is implicit in a variety of approaches to handling information. Syntactically, an item of structured text is a number of grammatically simple phrases together with a semantic label for each phrase. Items of structured text may be nested within larger items of structured text. Much information is potentially available as structured text including tagged ...

Existing ontologies are a valuable source of domain knowledge. This knowledge could be extracted and reused to create domain models. The extraction process can be aided by tools that enable browsing ontology, marking interesting notions and automatic conversion of selected elements to other notations. The paper presents a tool that can be used for SUMO to UML translation. Such a transformation ...

In this paper, we show how Princeton's WordNet and associated resources can be used as part of an integrated system for sentiment analysis, called SigmaSentiment. We discuss the development of a system for sentiment analysis and concept extraction. We first provide an introduction to the user experience to motivate our work. We begin technical discussion with some background on the Suggested Up...

The Suggested Upper Merged Ontology (SUMO) has provided the TPTP problem library with problems that have large numbers of axioms, of which typically only a few are needed to prove any given conjecture. The LTB division of the CADE ATP System Competition tests the performance of ATP systems on these types of problems. The SUMO problems were used in the SMO category of the LTB division in 2008. T...

The Suggested Upper Merged Ontology (SUMO) has provided the TPTP problem library with problems that have large numbers of axioms, of which typically only a few are needed to prove any given conjecture. The LTB division of the CADE ATP System Competition tests the performance of ATP systems on these types of problems. The SUMO problems were used in the SMO category of the LTB division in 2008. T...