The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Null dereferences are commonly occurring bugs in programming languages such as C. In this paper, we present a novel approach that performs a backward dataflow analysis to detect null-dereference bugs. The technical innovation of our approach is that owing to aliasing predicates, it can perform strong updates in the presence of aliasing, thus eliminating false positives. The aliasing predicates are...
Static analysis cannot obtain the values of variables in actual program operation because it does not execute the code itself. It makes the detection of invalid arithmetic operation (IAO) in the field of static analysis difficult to achieve. This paper presents a practical model for IAO detection based on alias analysis. The model uses a triple to record information calculated in dataflow. In the...
This paper presents a feature extraction algorithm combining S transform (ST) and two-directional two-dimensional principal component analysis ((2D)2 PCA) for partial discharge (PD) pattern recognition. S transform (ST) is firstly employed to obtain a time-frequency representation of the recorded UHF signals. Then, (2D)2 PCA is applied to compress the ST amplitude(STA) matrices to extract various...
This paper presents a novel approach for ball carrier detection and behavior recognition in a basketball match. Considering the cluttered background, fast motion of the players and the low resolution of the player images in the basketball match video, a covariance descriptor is adopted to fuse multiple visual features of the player, which can be characterized as a point on the Riemannian manifold...
In this paper, a novel tree-based registration framework is proposed for achieving fast and accurate registration by providing a more appropriate initial deformation field for the image under registration. Specifically, in the training stage, all training real images and a selected portion of simulated images are organized into a combinative tree with the template as the root, and then each training...
In this paper, we introduce the design, implementation and performance characteristics of BUPT-APG, our novel, content-analysis based phishing detection system. Unlike previous works in this field, APG focuses on the path between the user's browser and the interacted web server. We, meanwhile, introduce a novel algorithm which based on an adjusted cosine similarity to calculate the similarity between...
Collaborative filtering is the most widely used and successful technology for building recommender systems. However it faces challenges of scalability and recommendation accuracy. Collaborative filtering can be divided into memory based and model based. The former is more accurate while the latter performs better in scalability. This paper proposes a hybrid user model. The recommender system based...
Three typical landforms,Liaohe plain, middle of Shandong low mountain hills, southwest of Sichuan alpine, were selected as studying areas, the national 1:50000 DEM were chosen as Data source, got DEM of 100m resolution by resampling DEM of 5m at every area. The slope extract by DEM with different resolutions were classified and superposed to get the atlas of slope-correction from different terrains...
Now the fractal dimension of Land Use Types is often calculated by using raster data as the raw data, but quite a number of spatial data is stored as vector data in fact. If these vector data are converted to images to calculate fractal dimension, perhaps some pixels with inaccurate grey value will result from the “GRID” structure of raster data and accordingly reduce the accuracy of calculation....
Many current P2P trust models are not suitable for P2P e-commerce because the characteristics of P2P e-commerce are not taken into account. In addition, the simple representation of trust cannot be used to accurately gain assess to other peers in the e-commerce community because of the diversity and subjectivity of trust. In order to evaluate the peers for each other, this paper developed a vector-based...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.