44653881
DMT: A Flexible and Versatile Selectivity Estimation Approach for Graph Query
Efficient and accurate selectivity estimation in graph-structured data, specifically for complex branching path query, is becoming a challenging and all-important problem for query performance optimization. Precise and flexible statistics summarization about graph-structured data plays a crucial role for graph query selectivity estimation. We propose DMT, Dynamic Markov Table, which is a dynamic graph summarization based on Markov Table by applying flexible combination of 4 Optimized Rules which investigate local forward and backward inclusions. The efficient DMT construction algorithm DMTBuilder and DMT-based statistical methods are introduced for selectivity estimations of various graph queries. Our extensive experiments demonstrate the advantages in accuracy and scalability of DMT by comparing with previously known alternative, as well as the preferred Optimized Rules that would favor different situations.
1032115
Incremental Mining of Frequent Query Patterns from XML Queries for Caching
Existing studies for mining frequent XML query patterns mainly introduce a straightforward candidate generate-and-test strategy and compute frequencies of candidate query patterns from scratch periodically by checking the entire transaction database, which consists of XML query patterns transformed from user queries. However, it is nontrivial to maintain such discovered frequent patterns in real XML databases because there may incur frequent updates that may not only invalidate some existing frequent query patterns but also generate some new frequent ones. Accordingly, existing proposals are inefficient for the evolution of the transaction database. To address these problems, this paper presents an efficient algorithm IPS-FXQPMiner for mining frequent XML query patterns without candidate maintenance and costly tree-containment checking. We transform XML queries into sequences through a one- to-one mapping and then mine the frequent sequences to generate frequent XML query patterns. More importantly, based on IPS-FXQPMiner, an efficient incremental algorithm, Incre-FXQPMiner is proposed to incrementally mine frequent XML query patterns, which can minimize the I/O and computation requirements for handling incremental updates. Our experimental study on various real-life datasets demonstrates the efficiency and scalability of our algorithms over previous known alternatives.
109807
One table stores all: Enabling painless free-and-easy data publishing and sharing
In this paper, we present a free-and-easy data publishing and sharing system based on folksonomy. The system accepts data objects described with user-created metadata, called data units. The system supports flexible structure on the data units, and places no restrictions on the vocabulary used. We devise a generic table model for storing and representing the data units of various structures. We propose a framework for managing the data units and providing browsing, searching and querying services over them. We present our current approaches and discuss relevant research issues.
31540088
Analyzing iKP Security in Applied Pi Calculus
The security for electronic payments is very important in electronic commerce. Many electronic payment protocols have been proposed recently to meet the security requirements. Since the design of a protocol is a difficult and error-prone task, the use of formal methods that allow for the verification of such protocols has received increasing attention. In this paper we take a look at the iKP from the point of view of the applied pi calculus. The iKP is described in the calculus and some security properties, mainly the authentication and anonymity properties, are verified.
1247256
Differential Geometric Consistency Extends Stereo to Curved Surfaces
Traditional stereo algorithms implicitly use the frontal parallel plane assumption when exploiting contextual information, since the smoothness prior biases towards constant disparity (depth) over a neighborhood. For curved surfaces these algorithms introduce systematic errors to the matching process. These errors are non-negligible for detailed geometric modeling of natural objects (e.g. a human face). We propose to use contextual information geometrically. In particular, we perform a differential geometric study of smooth surfaces and argue that geometric contextual information should be encoded in Cartan's moving frame model over local quadratic approximations of the smooth surfaces. The result enforces geometric consistency for both depth and surface normal. We develop a simple stereo algorithm to illustrate the importance of using such geometric contextual information and demonstrate its power on images of the human face.
2186483
Improvements for the Symbolic Verification of Timed Automata
Based on the equivalence relation for location based reachability between continuous and integer semantics of closed timed automata, Beyer et al. have implemented the verifier Rabbit, with the uniform representation of reachable configurations. However, the growth of maximal constant of clock variables will decline the performance of Rabbit. The paper proposes an improved symbolic method, using binary decision diagrams (BDDs) to store the symbolic representation of discretized states, for the verification of timed systems. Compared with Rabbit, experiments demonstrate that besides the memory reduction, our implementation is also less sensitive to the size of clock domain.
5907828
Error correcting least-squares Subspace algorithm for blind identification and equalization
Abstract A subspace based blind channel identification algorithm using only the fact that the received signal can be oversampled is proposed. No direct use is made in this algorithm of either the statistics of the input sequence or even of the fact that the symbols are from a finite set and therefore this algorithm can be used to identify even channels in which arbitrary symbols are sent. Using this algorithm as a base and using the extra information which becomes available when the transmitted symbols are from a known finite set, the EC-LS-Subspace algorithm is derived. The EC-LS-Subspace algorithm operates directly on the data domain and therefore avoids the problems associated with other algorithms which use the statistical information contained in the received signal directly. In the noiseless case, if some conditions are met, it is possible for the proposed Basic Subspace algorithm to identify the channel exactly using an observation interval of just ( J +2) T , if the length of the impulse response of a channel is JT , T being the symbol interval. In the noisy case, simulations have shown that the channel can be identified accurately by using a very small observation interval (comparable to ( J +2) T ).
33634319
A genetic algorithm for the multiple destination routing problems
The multiple destination routing (MDR) problem can be formulated as finding a minimal cost tree which contains designated source and multiple destination nodes so that certain constraints in a given communication network are satisfied. This is a typical NP-hard problem, and therefore only heuristic algorithms are of practical value. As a first step, a new genetic algorithm is developed to solve the MDR problems without constraints. It is based on the transformation of the underlying network of an MDR problem into its distance complete form, a natural chromosome representation of a minimal spanning tree (an individual), and a completely new computation of the fitness of individual. Compared with the known genetic algorithms and heuristic algorithms for the same problem, the proposed algorithm has several advantages. First, it guarantees convergence to an optimal solution with probability one. Second, not only are the resultant solutions all feasible, the solution quality is also much higher than that obtained by the other methods (indeed, in almost every case in our simulations, the algorithm can find the optimal solution of the problem). Third, the algorithm is of low computational complexity, and this can be decreased dramatically as the number of destination nodes in the problem increases. The simulation studies for the sparse and dense networks all demonstrate that the proposed algorithm is highly robust and very efficient in the sense of yielding high-quality solutions.