26519336
Iris Recognition Algorithm Using Modified Log-Gabor Filters
In this paper, we presented an iris recognition algorithm based on modified Log-Gabor filters. The algorithm is similar as the method proposed by Daugman in general procedure while modified Log-Gabor filters are adopted to extract the iris phase information instead of complex Gabor filters used in Daugman's method. The advantage of Log-Gabor filters over complex Gabor filters is the former are strictly bandpass filters and the latter are not. The property of strictly bandpass makes the Log-Gabor filters more suitable to extract the iris phase features regardless of the background brightness. The comparison experiments between complex Gabor filters based methods and the proposed method are also presented in this paper
13209883
An Approach for Dynamic Hardware /Software Partitioning Based on DPBIL
HW/SW partitioning is one of the key steps in high-level modeling of embedded system co-design. In some kinds of data-dependence applications, the partitioning environment is dynamic. An approach based on a kind of evolutionary algorithm called DPBIL is proposed for dynamic HW/SW partitioning problem. DPBIL is inspired by Dualism or complementarity in the nature and operates on a pair of dual probability vectors to adapt itself to the dynamic environment. We systematically constructed the system model, defined the dynamic environment and conducted experimental analysis via comparison with the existing method. To enhance the exploration performance of DPBIL, a threshold constraint mechanism is introduced. Experimental results indicated that our approach is feasible and efficient for dynamic HW/SW partitioning, and has much better performance than traditional ones.
6506776
A set theoretical method for video synopsis
A synopsis video presents a condensed video activities occurring during different periods, based on moving objects extracted in the spatial-temporal domain. How to place different object tubes with least collision in limited video length is crucial to synopsis performance but has not been thoroughly studied in previous work.
 In this paper, we address an important problem in video synopsis, that of object start-time programming. We formulate the problem in terms of set theory. An objective is derived to maximize visual information in video synopsis. After relaxing the problem to obtain a continuous one, the problem can be efficiently solved via mean-shift. The resulting algorithm can converge to the local optimum within a few iterations.
3475098
Steganalysis of LSB Greedy Embedding Algorithm for JPEG Images using Coefficient Symmetry
A recently developed LSB greedy embedding algorithm for JPEG images is capable of resisting the chi-square attack. By carefully studying the quantized DCT (discrete cosine transform) coefficients of the cover and stego images, we find that the embedding algorithm does not preserve the histogram of the DCT coefficients well. In this paper, we define a new chi-square statistic which is used to measure whether the image under scrutiny is like the cover or the stego. Our proposed steganalytic method is based on the symmetry property of the DCT coefficients in JPEG images. It can also be used in the scenario where the cover images are double JPEG compressed. The reliability of this specific steganalytic scheme depends on the embedding rate and it is influenced by the JPEG quality factor. Experimental results show that when the embedding rate exceeds half of the maximal embedding capacity, the steganographic algorithm is detectable with a very low false negative rate, whatever the quality factor is.
14862024
Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars
We generalize the technique by Peyrl and Parillo [Proc. SNC 2007] to computing lower bound certificates for several well-known factorization problems in hybrid symbolic-numeric computation. The idea is to transform a numerical sum-of-squares (SOS) representation of a positive polynomial into an exact rational identity. Our algorithms successfully certify accurate rational lower bounds near the irrational global optima for benchmark approximate polynomial greatest common divisors and multivariate polynomial irreducibility radii from the literature, and factor coefficient bounds in the setting of a model problem by Rump (up to n = 14, factor degree = 13.
 The numeric SOSes produced by the current fixed precision semi-definite programming (SDP) packages (SeDuMi, SOSTOOLS, YALMIP) are usually too coarse to allow successful projection to exact SOSes via Maple 11's exact linear algebra. Therefore, before projection we refine the SOSes by rank-preserving Newton iteration. For smaller problems the starting SOSes for Newton can be guessed without SDP ("SDP-free SOS"), but for larger inputs we additionally appeal to sparsity techniques in our SDP formulation.
29250801
The Case of Interactive Web-Based Course Development
Development of the web-based learning technology supports strong enhancement to the lifelong education. This paper introduces how to design and implement web-based courses by network technology. To adapt the learning custom of the online learner, we adopt interactive and easy-sharing instructional mode and pay more attention to the display attribute of the multimedia during the process of designing and development web-based courses. In the "Civil Law" instructional practice, we divide the learning process into five parts: independent learning, online question-answering, test and examination, case study and discussion, and mock trial.
25955132
A new synchronization algorithm for VHDL-AMS simulation
VHDL-AMS is the Analog and Mixed-Signal Extensions to VHDL. The paper gives a brief overview of the added features to VHDL. A mixed-signal simulator has been developed based on VHDL-AMS. A new synchronization algorithm is adopted in the simulator. Using the new algorithm the analog kernel does not need to synchronize the digital kernel at each digital event time point. The efficiency of the new synchronization algorithm is tested by examples. Simulation results show the newly developed algorithm can speed up the simulation.
39230310
SSOA: a Semantic Service-Oriented Architecture Based on Fuzzy Assertion System