393
Linear-Time Approximation Algorithms for Computing Numerical Summation with Provably Small Errors
Given a multiset X={x1,. . .,xn} of real numbers, the floating-point set summation problem asks for Sn=x1 + . . . + xn. Let $E^*_n$ denote the minimum worst-case error over all possible orderings of evaluating Sn. We prove that if X has both positive and negative numbers, it is NP-hard to compute Sn with the worst-case error equal to $E^*_n$. We then give the first known polynomial-time approximation algorithm that has a provably small error for arbitrary X. Our algorithm incurs a worst-case error at most $2(\lceil\log(n-1)\rceil+1)E^*_n$. (All logarithms log in this paper are base 2.) After X is sorted, it runs in O(n) time. For the case where X is either all positive or all negative, we give another approximation algorithm with a worst-case error at most $\lceil\log\log n\rceil E^*_n$. Even for unsorted X, this algorithm runs in O(n) time. Previously, the best linear-time approximation algorithm had a worst-case error at most $\lceil\log n\rceil E^*_n$, while $E^*_n$ was known to be attainable in O(n log n) time using Huffman coding.
38052408
Towards a practical, secure, and very large scale online election
We propose a practical and secure electronic voting protocol for large-scale online elections. Our protocol satisfies a large set of important criteria that has never been put together in a single protocol before. Among all electronic voting schemes in the literature, Sensus, a security-conscious electronic voting protocol proposed by Cranor and Cytron (1997), satisfies most of our criteria. Sensus has been implemented and used in mock elections. However, Sensus suffers from several major drawbacks. For instance, we show that even if all voters follow the Sensus protocol honestly, some voters' votes may still be replaced with different votes without being detected. Our protocol overcomes these drawbacks.
206565969
Immunity of Complete Problems
Abstract Two necessary and sufficient conditions for all E -complete sets to contain dense P subsets are shown. We then prove that every ≤ p m -hard for E set and its complement contain dense E ∩UP subsets. As a corollary, every NE -complete set and its complement contain dense E ∩UP subsets.
15313247
Performance of a MAC protocol for WDM networks with on-line scheduling
This paper investigates the performance of media access protocols based on on-line scheduling for an optically connected star-coupled system with wavelength division multiple access channels. Hybrid access protocols combining reservation and pre-allocation of receiver channels have been previously proposed. Transmission consisted of a reservation phase followed by a data phase. Each node was allowed to place a reservation for one WDM channel. This protocol is extended in this paper by allowing reservations on multiple channels and using simple on-line scheduling algorithms. Existing scheduling algorithms (all are off-line) for similar reservation problems tend to have high implementation and computational complexity. We require that scheduling algorithms be real-time and amenable to hardware implementation. The performance of the extended protocol incorporating two simple on-line scheduling algorithms is presented in this paper. We show that the slight increased computational overhead with scheduling is justified by reduced packet latency and higher utilization, especially for client-server traffic.
32837558
On average P vs. average NP
Structures of polynomial-time computable distributions and polynomial-time many-one reductions on randomized decision problems are investigated. The scope is widened from the most studied class DNP (distributional-NP) to the class ANP (average-NP), which consists of randomized decision problems accepted by nondeterministic Turing machines in average polynomial time. Results indicate that the structures of average-case complexity classes are very different from their counterparts in worst-case complexity due to the complex structures of probability distributions and distribution functions.<<ETX>>
7902129
Efficient Minimization of Numerical Summation Errors
Given a multiset X={x 1,... x n } of real numbers, the floating-point set summation (FPS) problem asks for S n = x 1+...+ x n , and the floating point prefix set summation problem (FPPS) asks for S k =x 1+...+x k for all k = 1, ... n. Let E k * denote the minimum worst-case error over all possible orderings of evaluating S k . We prove that if X has both positive and negative numbers, it is NP-hard to compute S n with the worst-case error equal to E n * . We then give the first known polynomial-time approximation algorithm for computing Sn that has a provably small error for arbitrary X. Our algorithm incurs a worstcase error at most 2([log(n−1)]+1) E n * . After X is sorted, it runs in O(n) time, yielding an O(n 2)-time approximation algorithm for computing S k for all k = 1, ..., n such that the worst-case error for each S k is less than 2(⌈ log(k−1)⌋+ 1)E k * .
207320252
An efficient kernel discriminant analysis method
Small sample size and high computational complexity are two major problems encountered when traditional kernel discriminant analysis methods are applied to high-dimensional pattern classification tasks such as face recognition. In this paper, we introduce a new kernel discriminant learning method, which is able to effectively address the two problems by using regularization and subspace decomposition techniques. Experiments performed on real face databases indicate that the proposed method outperforms, in terms of classification accuracy, existing kernel methods, such as kernel principal component analysis and kernel linear discriminant analysis, at a significantly reduced computational cost.
40574141
Finding similar consensus between trees: an algorithm and a distance hierarchy
Abstract The problem of finding this similar consensus (also known as the largest approximately common substructures) of two trees arises in many pattern recognition applications. This paper presents a dynamic programming algorithm to solve the problem based on the distance measure originated from Tanaka and Tanaka. The algorithm runs as fast as the best-known algorithm for comparing two trees using Tanaka's distance measure when the allowed distance between the common substructures is a constant independent of the input trees. In addition, we establish a hierarchy among Tanaka's distance measure and three other edit-based distance measures published in the literature.
15124735
Chip design of MFCC extraction for speech recognition
The mel frequency cepstral coefficient (MFCC) is one of the most important features required among various kinds of speech applications. In this paper, the first chip for speech features extraction based on MFCC algorithm is proposed. The chip is implemented as an intellectual property, which is suitable to be adopted in a speech recognition system on a chip. The computational complexity and memory requirement of MFCC algorithm are analyzed in detail and improved greatly. The hybrid table look-up scheme is presented to deal with the elementary function value in the MFCC algorithm. Fixed-point arithmetic is adopted to reduce the cost under the accuracy studies of finite word length effect. Finally, the area-efficient design is implemented successfully into the single Xilinx XC4062XL FPGA.
11616193
Automatic Hierarchical Classification of Structured Deep Web Databases
We present a method that automatically classifies structured deep Web databases according to a pre-defined topic hierarchy. We assume that there are some manually classified databases, i.e., training databases, in every node of the topic hierarchy. Each training database is probed using queries constructed from the node titles of the topic hierarchy and the query result counts reported by the database are used to represent the content of the database. Hence, when adding a new database it can be probed by the same set of queries and classified to a node whose training databases are most similar to the new one. Specifically, a support vector machine classifier is trained on each internal node of the topic hierarchy with these training databases and the new database can be classified into the hierarchy top-down level by level. A feature extension method is proposed to create discriminant features. Experiments run on real structured Web databases collected from the Internet show that this classification method is quite accurate.
11138955
Computing an Almost Minimum Set of Spanning Line Segments of a Polyhedron
A set of spanning line segments (SLS) is a subset of the edges of a finite polyhedron in E3 such that an arbitrary plane intersects the polyhedron if and only if the plane intersects at least one of the line segments of the SLS. In this paper an algorithm is presented for computing an almost minimum set of spanning line segments for an arbitrary polyhedron . When the number of extreme vertices of is odd, the computed SLS is minimum; when the number of extreme vertices of is even, the size of the computed SLS is at most the minimum size plus one. The algorithm has linear-time complexity for a convex polyhedron, hence is optimal in this case; its time complexity is Θ(m log m) for an arbitrary polyhedron, where m is the number of vertices of the polyhedron.