9328998
Verification of Arithmetic Circuits with Binary Moment Diagrams
Binary Moment Diagrams (BMDs) provide a canonical representations for linear functions similar to the way Binary Decision Diagrams (BDDs) represent Boolean functions. Within the class of linear functions, we can embed arbitrary functions from Boolean variables to integer values. BMDs can thus model the functionality of data path circuits operating over word-level data. Many important functions, including integermultiplication, that cannot be represented efficiently at the bit level with BDDs have simple representations at the word level with BMDs. Furthermore, BMDs can represent Boolean functions with around the same complexity as BDDs. We propose a hierarchical approach to verifying arithmetic circuits, where componentmodules are first shownto implement their word-level specifications. The overall circuit functionality is then verified by composing the component functions and comparing the result to the word-level circuit specification. Multipliers with word sizes of up to 256 bits have been verified by this technique.
7335648
A Systolic Algorithm for the k-Nearest Neighbors Problem
The authors present a systolic algorithm and its variations for the k-nearest neighbors problem (kNNP). Multiple-shot queries with different ranges (k values) can be served in a pipelined fashion. A partitioning scheme is developed to handle large size problems. Performance of the algorithm is analyzed. Formulas for the optimal array size in terms of computation time and area-time-time product (ATT) are derived. The algorithm can solve a multiple-shot kNNP in N+2 square root N*K systolic steps using square root N*K processing elements, where N is the problem size (i.e. the number of points), and K is the sum of all k-values. >
6783224
Fingerprint Deformation Models Using Minutiae Locations and Orientations
Nonlinear deformations in fingerprint images, arising from the elasticity of the skin as well as the pressure and movement of the finger during image acquisition, lead to difficulties in establishing a match between multiple impressions acquired from the same finger. One solution to this problem is to estimate and remove the relative deformations prior to the matching stage. In this paper, these relative deformations are represented as an average deformation model based on minutiae locations and orientations using 2-D thin plate splines (TPS). The estimated average deformation is used to pre-distort a template prior to matching it with a query image in a verification task. Experimental results show that the use of minutiae locations and orientations to estimate the deformation leads to a more representative deformation model than using minutiae locations only. An index of deformation based on the bending energy is also proposed to select templates with the least variability in the deformations. The EER goes down by ap 1.1% when we incorporate minutiae orientation information and use the template selection strategy.
16055310
Step-by-Step Regression: A More Efficient Alternative for Polynomial Multiple Linear Regression in Stream Cube
Facing tremendous and potentially infinite stream data, it is impossible to record them entirely. Thus synopses are required to be generated timely to capture the underlying model for stream management systems. Traditionally, curve fitting through Multiple Linear Regression (MLR) is a powerful and efficient modeling tool. In order to further accelerate its processing efficiency, we propose Step-by-step Regression (SR) as a more efficient alternative. As revealed in experiments, it speeds up for more than 40 times. In addition, inspired by previous work, we integrated SR into cube environment through similar compression technique to perform online analytical processing and mining over data stream. Finally, experiments show that SR not only significantly alleviates the computation pressure on the front ends of data stream management systems, but also results in a much smaller stream cube for on line analysis and real-time surveillance.
13989660
Distribution functions of selection combiner output in equally correlated Rayleigh, Rician, and Nakagami-m fading channels
We develop a novel approach to derive the cumulative distribution functions (cdfs) of the selection-combining (SC) output signal-to-noise ratio (SNR) in equally correlated Rayleigh, Ricean, and Nakagami-m fading channels. We show that a set of equally correlated channel gains can be transformed into a set of conditionally independent channel gains. Single-fold integral expressions are, therefore, derived for the cdfs of the SC output SNR. Infinite series representations of the output cdfs are also provided. New expressions are applied to analyze the average error rate, the outage probability, and the output statistics of SC. Numerical and simulation results that illustrate the effect of fading correlation on the performance of L-branch SC in equally correlated fading channels are provided.
2517295
Automated Availability Management Driven by Business Policies
Policy-driven service management helps reduce IT management cost and it keeps the service management aligned with business objectives. While most of the previous research focuses on performance/resource managements, little has been researched in the area of availability management driven by business policies. This is a critically important task in enterprise IT, because a single failure in enterprise IT could cause huge business loss. It is still unclear how we can automate the availability management in a highly dynamic and complex system according to business level objectives for performance and risk attitude/preference. As a consequence, users can not manage the availability/performance ratio to match their risk tolerance. In this paper, we propose a policy-driven approach to automate run-time availability management in IT systems, according to high level availability and performance objectives. We further apply von Neumann-Morgenstern utility theory to deal with users' risk attitude policies, an important class of business policies specific for availability management, and the associated preference structures. Based on the proposed approach, we implement an automated decision engine for availability management. The initial evaluation of the solution illustrates the significance of the policy-driven approach and it demonstrates its applicability for availability management in complex IT environments. This way IT users can customize their availability to the risks tolerable by business objectives.
14368338
Optimal radial contour tracking by dynamic programming
A common problem in most active contour methods is that the recursive searching scheme can only return a local optimal solution. Furthermore, the internal energy of the snake is not strong enough to control the shape of the contour. To overcome these difficulties, we develop a causal internal energy term based on a radial contour representation to encode the smooth constraint of the contour, and develop a global shape priori to control contour's shape and position based on object's dynamics. The causality nature of the representation allows us to efficiently find global optimal solution using dynamic programming. To validate the efficacy and robustness of the proposed approach, we apply this approach to track people in bad illumination and cluttered environments. We report promising results in the paper.