In this paper, we present a novel approach to classify texture collections. This approach does not require experts to provide annotated training set. Given the image collection, we extract a set of invariant descriptors from each image. The descriptors of all images are vector-quantized to form ‘keypoints’. Then we represent the texture images by ‘bag-of-keypoints’ vectors. By analogy text clas...

The presence of uninterpreted symbols in the logic means that we must distinguish between a state machine M and its abstract description D in the logic. A given abstract description D will determine a machine M for every interpretation ¢. For the purpose of hardware verification we are interested only in finite state machines (FSMs). However, an abstract description will represent infinite as w...

This paper proposes a novel improvement of forecasting approach based on using time-invariant fuzzy time series. In contrast to traditional forecasting methods, fuzzy time series can be also applied to problems, in which historical data are linguistic values. It is shown that proposed time-invariant method improves the performance of forecasting process. Further, the effect of using different n...

The problem of estimating the parameters of a nonlinear model from prior knowledge, experimental data and collateral requirements is viewed as one of set inversion, which is solved in an approximate but guaranteed way with the tools of interval analysis. It is, for instance, possible to characterize the set of all parameter vectors that are consistent with the data in the sense that the errors ...

Let M be the ideal 〈2, x〉. Note that M is maximal, as R/M is the field with 2 elements. Also note thatM is (0), soM is nilpotent. Thus, R is a local ring and any ideal of R other than R itself must be contained inM. So assume that I is not R itself (listed above as 〈1〉). We now consider the possibility that I 6⊆ M. Note that M/M∈ is a R/M vector space of dimension 2. If I/(I ∩M) contains any of...