nils-herrmann/clean_scirepeval huggingface dataset:
The Semantic Representation of WSPL in OWL-DL

With the wide application of Web services, people now pay more attention to the non-functional properties of Web services such as quality of service (QoS), security, etc. in discovery and selection. As a Web services policy language, Web Services Policy Language (WSPL) is widely used for expressing non-functional properties of Web services. However, this proposed language is based on XML schema, which is relatively inexpressive and suffers from a lack of formal semantics. In this paper, we provide a semantic representation of WSPL in the description logic fragment species of the Web Ontology Language (OWL-DL). OWL-DL will provide the semantic support for the policy description of WSPL, and enhance the expressivity and computability of the policy language. By representing WSPL policies as OWL-DL complex classes that are built up through OWL-DL class expressions, the most standard OWL-DL reasoners can be used to check policy conformance and perform an array of policy analysis tasks through TBox reasoning.
A new composite histogram integrating each bin's spatial distribution for image retrieval

In order to reduce the size of the image feature data drastically without degrading the retrieval performance, in this paper, we propose a new method to represent the image edge's statistical and distributional information. At the same time, with rich consideration of the human vision property, we improve a current color quantization scheme. Based on the above techniques, we propose a new composite histogram integrating each bin's pixel distributional information. The histogram includes only 15 bins, and the distributional information is represented by the color and edge area and position feature. Experimental results show that the proposed method efficiently reduces the feature data of images, at the same time maintaining high retrieval rate.
Optimized multiple description image coding using lattice vector quantization

Multiple description (MD) coding has many applications in the transmission of images over unreliable packet or multiple path networks that cannot guarantee lossless data delivery. In this paper, an effective multiple description image coding scheme is introduced. This scheme is mainly based on the wavelet transform and multiple description lattice vector quantization (MDLVQ). The characteristics of wavelet coefficients in different frequency subbands are taken into account in the design of the MD image coder with different optimized MDLVQ parameters. The experimental results are presented to demonstrate the effectiveness of the proposed scheme.
A Two-Description Distributed Video Coding

In this paper, a two-description distributed video coding (2D-DVC) is proposed to address the robust video transmission of low-power captures. The odd/even frame-splitting partitions a video into two subsequences to produce two descriptions. Each description consists of two parts, where part 1 is a zero-motion based H.264 coded bitstream of a subsequence and part 2 is a Wyner-Ziv coded bitstream of the other subsequence. As the redundant part, the Wyner-Ziv coded bitstream guarantees the lost subsequence is recovered when one description is lost. On the other hand, the redundancy degrades the rate-distortion performance as no loss occurs. Therefore, a residual 2D-DVC is employed to reduce the redundancy, where the difference of two subsequences is Wyner-Ziv encoded to generate the part 2 in each description. The experimental results show that the proposed schemes achieve better performance than the referenced one especially when the video motion is low. Moreover, our schemes maintain low-complexity encoding.
A new detector for JPEG decompressed bitmap identification

In this paper, a new method for the identification of JPEG decompressed bitmap is presented. Consider the distribution of AC coefficients for the decompressed JPEG image, a key observation is that the local peaks of the distribution always appear in integer points whatever the quantization table is. We then propose to capture this effect by computing the frequency of AC coefficients falling in the set UnεZ[n −1/4, n + 1/4] which can cover all local peaks. One can prove that the frequency value is larger than 0.62. Meanwhile, for uncompressed image, empirical results show that the frequency value computed in the same way is just about 0.5. The validity of the proposed detector is then guaranteed. Experimental results show that the proposed method works well and is better than some prior arts.
Feature-based depth refinement for view synthesis

The accuracy of depth map limited the performance of Depth-Image-Based-Rendering (DIBR) system, especially the misalignment of objects between the wrapped image and the target image which locates on the real viewpoint would seriously decreases the quality of the wrapped image. In practice, the misalignment is a major cause that the objective quality is not enough, comparing the wrapped image and the target image. In this paper, we propose a new depth refinement method which aims to align the wrapped positions and the real target positions. More specifically, to align the wrapped image, some features extracted from texture images are used. Then, based on the matched features, an energy function is minimized the depth errors. This energy function is efficient enough to provide high quality rendered image, even comparing with the real target image. Experiments show that the proposed method provides visually pleasing results and high objective quality.
Double JPEG detection using high order statistic features

In this paper, we propose a reliable method to detect the presence of double JPEG compression. This method is based on content analysis and high order statistic features. Firstly, the image is divided into texture region and smooth region according to its content. Then, the difference arrays of the texture regions are calculated in order to enhance double JPEG compression artifacts. For better modeling the difference arrays, we improve the traditional first-order Markov transition probability algorithm and use second-order and third-order Markov transition probability matrices. In addition, a thresholding technique is used to reduce the size of the transition probability matrices. By using this method, we obtain a high order feature of each JPEG image for detection. And these features are fed into classifiers. Experiments have shown that our proposed method is effective.
TDEFIE-PMCHW Method Combined With an Adaptive Marching-On-in-Order Procedure for Studying on Time- and Frequency-Domain Responses of Some Composite Structures

One effective method, based on time-domain PMCHW (Poggio, Miller, Chang, Harrington, and Wu) integral equation, is presented for studying on time- and frequency-domain electromagnetic responses of some composite structures. A set of derived equations is solved by an adaptive marching-on-in-order (MOO) procedure. During its implementation, dielectric parts of the composite structure are described by the PMCHW equations, and its metallic parts are governed by the time-domain electric field integral equations, where temporal basis of the Laguerre polynomials are employed for both of them. As an example of composite microstrip patch structure, its dielectric- metallic junction is handled using an appropriate combination of the full RWG basis functions so as to obtain high computational accuracy, and one MOO acceleration scheme is employed for accelerating the temporal convolution effectively. Numerical results are given to demonstrate efficiency as well as accuracy of our proposed method used for capturing electromagnetic responses of some typical composite structures, with their transient current responses, far-field distributions, radar cross sections, and directivities predicted successfully.
Experimental study on solid CO2 BLEVE based on the superheat limit theory

In this work, a small-scale experiment of solid CO2 Boiling Liquid Expanding Vapor Explosion (BLEVE) has been conducted and comparisons between experimental results and theoretical results have been performed. The process of solid CO2 BELVE which can be divided into several phases has been observed clearly. It is verified that SLT can't be the absolute criterion of CO2 BLEVE, but it is still an important parameter for BLEVE. The possible relationship between the relative pressure rise and the relative pressure drop were found, but it needs more experiments to be verified.  The process of CO2 explosion can be divided into pressure sudden dropping, superheated liquid boiling and extending, pressure recovering unstably then decreasing to ambient pressure. The comparison results of theoretical calculation with experimental data show that solid CO2 BLEVE may occur below the SLT and may not occur beyond the SLT, so, whether the initial temperature of the liquid reached the limit temperature of the liquid can't be a necessary condition to determine whether the BLEVE will occur. But it is confirmed that the blast effect may be much higher with a higher superheat degree and it is no doubt that SLT is still an important parameter for CO2 BLEVE. So in the CO2 injection process and for the large volumes of high pressure CO2 it is better to decrease the superheat degree under the SLT to avoid CO2 BLEVE accident. This can be an effective method for BLEVE risk management. It is also found that thermal stratification appears in the liquid zone, and from top to bottom are the gas phase, gas-liquid phase and liquid phase, respectively. This may be the reason why BLEVE may happen both below and beyond the SLT. Meanwhile, both the amount of depressurizations and the rate of depressurizations are found to be positively correlation with the amount of depressurization and the rate of depressurization. And there is a certain kind of fixed proportional relationship between relative pressure rise and relative pressure drop and further studies are still needed.
Improved SIFT-Based Copy-Move Detection Using BFSN Clustering and CFA Features

With the continuous development of multimedia technology, images in the real word and the Internet become more widespread, which brings unprecedented convenience to people's communication. However, the behavior of image tampering will brings disastrous consequences. Images could be forged using different techniques, and the most common forgery is copy-move forgery, in which a part of an image is duplicated and placed elsewhere in the same image. In this paper, we propose an improved scale invariant feature transform (SIFT)-based copy-move detection method, which combines broad first search neighbors (BFSN) clustering and color filter array (CFA) features. BFSN clustering algorithm is applied to detect multiple copied areas in tampered images. In order to distinguish original regions from tampered regions, we take CFA features into consideration to discover the inconsistency at the edges of the copied regions. Experiments demonstrate the efficiency of this method on different forgeries and quantify its robustness and sensitivity.
Where the Sidewalk Ends: Extending the Internet AS Graph Using Traceroutes from P2P Users

An accurate Internet topology graph is important in many areas of networking, from understanding ISP business relationships to diagnosing network anomalies. Most Internet mapping efforts have derived the network structure, at the level of interconnected autonomous systems (ASes), from a rather limited set of vantage points. In this paper, we argue that a promising approach to revealing the hidden areas of the Internet topology is through active measurement from an observation platform that scales with the growing Internet. By leveraging measurements performed by an extension to a popular P2P system, we show that this approach indeed exposes significant new topological information. Our study is based on traceroute measurements from more than 992,000 IPs in over 3,700 ASes distributed across the Internet hierarchy, many in regions of the Internet not covered by publicly available path information. To address this issue we develop heuristics that identify 23,914 new AS links not visible in the publicly-available BGP data-12.86 percent more customer-provider links and 40.99 percent more peering links, than previously reported. We validate our heuristics using data from a tier-1 ISP, and show that they successfully filter out all false links introduced by public IP-to-AS mapping. We analyze properties of the Internet graph that includes these new links and characterize why they are missing. Finally, we have made the identified set of links and their inferred relationships publicly available.
Simulation and visualization of flood submergence based on MIKE FLOOD and ArcObjects

This paper takes the plain area of middle reaches of Liaohe River as the study object, and uses the hydrodynamic software MIKE FLOOD to simulate the submergence of levee-overflowing flood. Based on the result of simulation, a flood routing display module is developed by the use of GIS development component ArcObjects and visual programming language C#. The functions of this module include flood routing display, submergence information query and flood loss statistic. In flood season, this module can provide decision-making information for flood-control and disaster-relief.
A cooperative learning strategy for interactive video search

The goal of this paper is to develop a learning strategy for interactive video search that can effectively mitigate the burden on users without decreasing search performance. Taking SVM as underlying learner, a cooperative training strategy is proposed for learning a ranking function, in which semi-supervised learning procedure is started with a combination of a few positive training seeds and a relative large set of unlabeled data. The main merit of the proposed framework is its ability to mine automatically training samples from previous answer set and to refine gradually ranking model during cooperative training phase. In addition, as an extension of the proposed framework, multiple modalities can be potentially combined for effectively learning user's query intention. Following the guideline of TRECVID' 06 video search task, we validate the effectiveness of our proposed method.
Motion compensated prediction using partial mesh generation

In this paper, a new motion modeling method is introduced. We employ the popular quadtree structure to divide an image frame into variable size blocks. Each block is considered as an independent deformable mesh cell, and can be connected to causal neighbor cells to produce partial meshes. The motion model in each mesh cell is adaptively selected by minimizing a Lagrangian cost. We evaluate the proposed method by motion compensated prediction and coding. Preliminary experimental results show its potential advantages.
Stabilizing Object Tracking Trajectory on the Basis of Kalman Filter

Object tracking is an important and classic problem in the computer vision area, which has widespread applications in many fields. Currently, most of state-of-the-art object tracking approaches pay more attention on improving the localization precision by dealing with some complex transformations such as illumination change, occlusion and deformation. However, smoothness of object trajectory doesn't attract enough attention. In some application scenarios like weapon-aiming systems, the object tracking systems are generally associated with mechanical control systems, and frequent vibrations will lead to violent mechanical shaking of controllers and result in uncontrollable consequences. In this paper, we focus mainly on improving the smoothness of object trajectory. In particular, we first propose a new criterion to evaluate the level of the vibrations. Then, a simple but effective approach, which is based on Kalman filter, is proposed to remarkably reduce the vibrations in both horizontal and vertical directions. Extensive experiments show that introducing the proposed smoothing method into existing object trackers can significantly improve the smoothness of tracking trajectories.
Intelligent control for AMT based on driver’s intention and ANFIS decision-making

The control strategy of AMT (automated mechanical transmission) is one of the most popular and heated-discussed problems in the research of automobile transmission. To realize the reasonable control on a vehicle, it is significant to meet the need of dynamics and economy, but it is more important to work out intelligence gearshift and control strategy accord with driverpsilas operating intentions and realistic driving conditions. This paper builds up a tracing model of driverpsilas intentions in the guidance of fuzzy control theory. The model has self-adaptation fuzzy features of tracing throttle and other parameters according to a vehiclepsilas driving parameter and specific road status, and improves the function of fuzzy controller greatly. Furthermore, establish the shift decision-making based on ANFIS (adaptive network based fuzzy inference system) self-adaptation neural-fuzzy inference system. Design intelligent control shift strategies system of AMT according to summary driver experience, which can coordinate driverpsilas behavior and wish. Thus, the vehiclepsilas performances are improved greatly.
Depth map coding based on adaptive block compressive sensing

In this paper, we propose a novel depth map coding scheme based on adaptive block compressive sensing. Different from the traditional two-dimensional image compression, edge information is more significant for the reconstruction of a depth map. Therefore, in view of the object boundaries characteristics of a depth map, we first divide the whole depth image into blocks with different sizes. Then according to the size of block, an adaptive sampling rate can be allocated to each block, which can obtain better compression performance. The experimental results have shown that the proposed scheme outperforms the uniform sampling scheme.
Video watermarking scheme resistant to geometric attacks

The robustness against geometrical attacks remains one of the most challenging issues in watermarking of images and video. This paper presents several improvements of the video watermarking approach presented in Haitsma et al. (2001), namely (i) using a temporally low-pass watermark and (ii) synchronization to resist attacks along the temporal axis. In order to improve the watermark detection performance, we propose to use an amplitude-limiting filter and a whitening filter during the watermark extraction process. Experimental results show that the proposed techniques achieve good performance.
Cut graph based information storage and retrieval in 3D sensor networks with general topology

We address the problem of in-network information processing, storage, and retrieval in three-dimensional (3D) sensor networks in this research. We propose a geographic location free double-ruling-based scheme for large-scale 3D sensor networks. The proposed approach does not require a 3D sensor network with a regular cube shape or uniform node distribution. Without the knowledge of the geographic location and the distance bound, a data query simply travels along a simple curve with the guaranteed success to retrieve aggregated data through time and space with one or different types across the network. Simulations and comparisons show the proposed approach with low cost and a balanced traffic load.
Hybrid time domain integral equation - Physical optics - Adaptive integral method for transient electromagnetic analysis of large scale structures

Time-domain electric field integral equations (TD-EFIE) are widely used for analyzing transient scattering from perfect electrically conducting surfaces. These equations often are solved via marching-on-in-time (MOT) methods. Unfortunately, the computational cost of classically formulated MOT-based TD-EFIE solvers scales as O(NtNs2) where Nt and Ns are the number of time steps and spatial surface unknowns, respectively. This cost prevents these solvers from being used to study high-frequency phenomena involving large-scale structures.In the past, a variety of methods for accelerating MOT-based TD-EFIE solvers have been developed; they include, but are not limited to, hybrid TD-EFIE and time domain physical optics (TDPO) methods, and fast summation schemes such as the time-domain adaptive integral method (TD-AIM). In the hybrid TD-EFIE-PO method, structures are partitioned into EFIE and PO regions. In the EFIE region, surface currents are updated by MOT; incident fields comprise those produced by external sources and currents in the PO region. In the PO region, currents are updated using incident fields produced by external sources and currents in the EFIE region (W. Luo, W. Y. Yin, M. D. Zhu, J. Y. Zhao, and J. F. Mao,  1006-1016, 2012). The asymptotic computational complexity of the TD-EFIE-PO scheme scales like that of the TD-EFIE scheme albeit with a far smaller leading constant, enabling the solution of much larger problems. The TD-AIM constitutes the extension of the frequency domain adaptive integral method to the time domain, and reduces the computational complexity of a TD-EFIE solver from O(NtNs ) to 2 O ( N t N s log N s ) without any (high-frequency) 3/2 2 assumptions on the current (A. E. Yılmaz, J. M. Jin, and E. Michielssen,  2692-2708, 2004). This paper presents a solver that hybridizes the TD-EFIE-PO and TD-AIM methods. In the hybrid scheme, the TD-AIM is used to propagate fields within the EFIE region as well as from the EFIE to the PO region, and back. The hybrid scheme is computationally far more efficient than its standalone constituents. Depending on the nature of the structure considered, the TD-AIM method uses a single grid that covers both the EFIE and PO regions, or separate and nonoverlapping grids for both regions. We apply the proposed scheme to the analysis of interactions of high-power electromagnetic pulses (HP-EMP) with large-scale platforms. Numerical results demonstrate the efficiency, accuracy, and stability of the proposed method.
A general framework model for fractal coders

Fractal image coding is a novel method in the image compression community, for which a a number of algorithms or schemes have been devised. In this paper, we propose a general framework model after an overview of principal developments, which helps to understand common problems and design effective schemes. An implementation of this model with free-shaped region partition is also introduced. Our highly image-adaptive scheme can achieve coding gains of 1.0-1.5 dB for compression ratios larger than 10:1 in comparison with a conventional quadtree scheme.
Notice of RetractionAnalysis of frequency response and fatigue of car body by random loading

The paper presents the detailed finite element model of certain car body, which is reasonably simplified according to actual loading conditions. First, frequency response is analyzed by means of modal method with software MSC. Nastran, secondly, the correlation of spectrum loading is analyzed, by the treatment of practical loading; then the fatigue life analysis of correlated and uncorrelated loading of car body is obtained based on the theory of Palmgren-Miner cumulative fatigue damage, in MSC. Fatigue software environment; finally, the impact of correlation of loading on the fatigue life of car body is represented. The theoretical results are in agreement with the experimental ones. Some ameliorated measures are proposed to the unsubstantial regions.