Existing quality controlmethods for railway ballast are arduous and expensive since they are based onmanual material inspections. Thus, test intervals are typically fairly wide. As a consequence, short-term andmid-term fluctuations of ballast quality may not be detected. This results in increased costs for maintenance work such as tamping. To make test intervals shorter and even allow for conti...

In this paper we briefly describe Novelty and Adaptive Novelty, two high-performance, stochastic local search (SLS) algorithms for SAT. Based on the WalkSAT architecture, these algorithms combine search intensification and diversification feautures that lead to good peformance on a broad range of SAT instances. The performance of the Novelty algorithm critically depends on the setting of a soca...

This paper reports the Recognizing Textual Entailment (RTE) system that our ‘IKOMA team’ developed at TAC 2010. We implemented a new method that identifies entailment sentences using local-novelty detection. This method determines whether a Hypothesis (H) is local-novel. ‘H is local-novel’ means that H is the new information first appeared in TH , and TH denotes the text (T) that entails H. If ...

novelty or the pure and unique creation is the profoundest item in economic development and entrepreneurship in every country. however, there is no consensus regarding the process of creation of novelty among economists so that “schumpeter” used the term “impossible” to define this unknowable process because this subject cannot be described within the theoretical framework of orthodox conceptua...

The problem of testing whether an observation may be deemed to correspond to a given model is a difficult issue. Variants of the problem have been widely studied in Statistics and Pattern Recognition. We build a solution in the belief function framework and demonstrate its advantages over other approaches in situations where the available information is particularly scarce.