With the development of database, multimedia and computer vision technology, content-based image retrieval (CBIR) technology has been a hot topic in recent years. Texture image retrieval is an important part of CBIR. In this paper, a new 2614 Jiming Lan et al method for texture image retrieval based on nonsubsampled contourlet transform (NSCT) and matrix F-norm is proposed. The experimental res...

In this paper we describe the successful application of the ProB validation tool on an industrial case study. The case study centres on the San Juan metro system installed by Siemens. The control software was developed and formally proven with B. However, the development contains certain assumptions about the actual rail network topology which have to be validated separately in order to ensure ...

This paper addresses the implementation of an advanced visual-based tennis sports video analysis system. Firstly, a white pixel-fraction based method is used to detect the significant frames that include the tennis court. In addition, we employ the temporal correlation between two consecutive frames to track the court location within a local search area. Furthermore, we propose a player segment...

Abstract Variation in upper-ocean heat content is a critical factor understanding global climate variability. Using temperature anomaly budgets two-decade-long physically consistent ocean state estimate (ECCOv4r3; 1992–2015), we describe the balance between atmospheric forcing and transport mechanisms for different depth horizons at varying temporal spatial resolutions. Advection dominates trop...

Texture is an important spatial feature which plays a vital role in content based image retrieval. The enormous growth of the internet and the wide use of digital data have increased the need for both efficient image database creation and retrieval procedure. This paper describes a new approach for texture classification by combining statistical texture features of Local Binary Pattern and Text...

A content-based tile retrieval system based on the underlying multispectral Markov random field representation is introduced. Single tiles are represented by our approved textural features derived from especially efficient Markovian statistics and supplemented with Local Binary Patterns (LBP) features representing occasional tile inhomogeneities. Markovian features are on top of that also invar...

We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformations and process algebra and combines semiformal object-oriented models with formal validation. We perform the validation of behavioral aspects of object-oriented models by using a projection into a welldefined formal ...