We define a data structure called a "web" together with an algorithm to choose scale-space atoms for representing an image. The corresponding wavelet coefficients (of the atoms chosen using this method) have...
详细信息
We define a data structure called a "web" together with an algorithm to choose scale-space atoms for representing an image. The corresponding wavelet coefficients (of the atoms chosen using this method) have useful properties which lead to (i) the definition of a stochastic process for representing images and (ii) an efficient image compression algorithm. The advantage of our image compression algorithm is that the computational requirement is very low. The stochastic process is useful in a theoretical sense because it gives us a framework in which to understand images and certain image compression algorithms.
The success of all binary decision diagram (BDD) based synthesis and verification algorithms depend on the ability to efficiently manipulate very large BDDs. We present algorithms for manipulation of very large Binary...
详细信息
The success of all binary decision diagram (BDD) based synthesis and verification algorithms depend on the ability to efficiently manipulate very large BDDs. We present algorithms for manipulation of very large Binary Decision Diagrams (BDDs) on a network of workstations (NOW). A NOW provides a collection of main memories and disks which can be used effectively to create and manipulate very large BDDs. To make efficient use of memory resources of a Now, while completing execution in a reasonable amount of wall clock time, extension of breadth-first technique is used to manipulate BDDs. BDDs are partitioned such that nodes for a set of consecutive variables are assigned to the same workstation. We present experimental results to demonstrate the capability of such an approach and point towards the potential impact for manipulating very large BDDs.
In this paper, we propose an indexing structure, called T*-tree, for efficient processing of real time applications under main memory database management systems (MMDBMS). T*-tree is an index structure for rapid data ...
详细信息
In this paper, we propose an indexing structure, called T*-tree, for efficient processing of real time applications under main memory database management systems (MMDBMS). T*-tree is an index structure for rapid data access and saves memory space under MMDBMS. T-tree is well known to be one of the best index structures for ordered data in MMDB. Existing T-tree is a balanced tree that evolved from AVL and B-trees, and a binary tree with many elements in a node. T-tree retains the intrinsic binary search nature, and is also good in memory use. However T-tree has major disadvantage; the tree traversal for range queries and the movement of overflow/underflow data due to data insertion/deletion on internal nodes. We propose T*-tree as a alternative structure, which is an improvement from T-tree for better use of query operations, including range queries and which contains all other good features of T-tree. We also show the pseudo-algorithms of search, update, delete, and rebalancing operations for T*-tree, with performance test results. The results indicate that T*-tree provides better performance for range queries compared to T-tree.
This paper presents a novel, parameter-free technique for the segmentation and local description of line structures on multiple scales, both in 2-D and 3-D. The algorithm is based on a nonlinear combination of linear ...
详细信息
This paper presents a novel, parameter-free technique for the segmentation and local description of line structures on multiple scales, both in 2-D and 3-D. The algorithm is based on a nonlinear combination of linear filters and searches for elongated, symmetric line structures, while suppressing the response to edges. The filtering process creates one sharp maximum across the line-feature profile and across scale-space. The multiscale response reflects local contrast and is independent of the local width. The filter is steerable in orientation and scale domain, leading to an efficient, parameter-free implementation. A local description is obtained that describes the contrast, the position of the center-line, the width, the polarity, and the orientation of the line. Examples of images from different application domains demonstrate the generic nature of the line segmentation scheme. The 3-D filtering is applied to magnetic resonance volume data in order to segment cerebral blood vessels.
The proceedings contain 45 papers. The special focus in this conference is on algorithms and datastructures. The topics include: The two-line center problem from a polar view;on some geometric selection and optimizat...
ISBN:
(纸本)3540602208
The proceedings contain 45 papers. The special focus in this conference is on algorithms and datastructures. The topics include: The two-line center problem from a polar view;on some geometric selection and optimization problems via sorted matrices;load balancing in quorum systems;balanced distributed search trees do not exist;two-floodlight illumination of convex polygons;on the complexity of approximating and illuminating three-dimensional convex polyhedra;scheduling jobs that arrive over time;dynamic algorithms for the dyck languages;arrangements in higher dimensions;computing a shortest watchman path in a simple polygon in polynomial time;going home through an unknown street;page migration with limited local memory capacity;randomized algorithms for metrical task systems;efficient geometric algorithms for workpiece orientation in 4- and 5 axis NC machining;computing common tangents without a separating line;online perfect matching and mobile computing;competitive algorithms for the on-line traveling salesman;quadrangulations of planar sets;a linear-time construction of the relative neighborhood graph within a histogram;computing proximity drawings of trees in the 3-dimemsional space;routing on trees via matchings;a ranking algorithm for hamilton paths in shuffle-exchange graphs;amortization results for chromatic search trees, with an application to priority queues;on the computation of fast data transmissions in networks with capacities and delays;routing with delays when storage is costly;a new technique for optimal I/O-algorithms and computing a dominating pair in an asteroidal triple-free graph in linear time.
Automatic differentiation, manipulating numerical vectors of coefficients, is the efficient way to compute multivariable Taylor series. This does not require symbolic differentiation or numerical approximation but use...
详细信息
ISBN:
(纸本)9780897917223
Automatic differentiation, manipulating numerical vectors of coefficients, is the efficient way to compute multivariable Taylor series. This does not require symbolic differentiation or numerical approximation but uses exact formulas applied to numerical arrays. Arrays of Taylor series coefficients of any elementary function can be built-up, as the array for each component (combination or function) is a combination of its argument arrays. The functions TIMES and EXP display the algorithmic ideas that enable all of the other standard functions. We study the interesting recursive formulas for these combinations, the resulting algorithms, and the implementation in APL. To handle all coefficients in n variables up to order m, the arrays are hyper-pyramid datastructures, considered conceptually as n-dimensional but implemented as one-dimensional arrays. Unlike previous work, this implementation does not require huge arrays for binomial coefficients and indirect referencing. This APL*PLUS III implementation loops through one nested reference array and takes sub-arrays from another for a practical solution to this problem that can make tremendous demands on time and space.
In this paper we introduce some new methods for con-structing Ordered Partial Decision Diagrams (OPDDs). The algorithms are effective in capturing a significant fraction of a given function's truth table using onl...
详细信息
This paper discusses an approach to automating CAD model acquisition by creating binary space partitioning (BSP) trees from laser range data. Distinct views of the object, each represented by a BSP tree, are then merg...
详细信息
This paper discusses an approach to automating CAD model acquisition by creating binary space partitioning (BSP) trees from laser range data. Distinct views of the object, each represented by a BSP tree, are then merged using set operations. BSP trees have proven their utility in 3D modeling, graphics and image processing, and their tree structure allows efficientalgorithms to be developed that are compact and numerically robust. These properties are of primary importance when considering an intermediate representation between raw sensor data and existing CAD models.
A novel algorithm for diagnosing bridging faults in combinational circuits is presented. The voting model is assumed. The diagnosis algorithm guarantees the "object bridging fault" (bridging fault in the cir...
详细信息
ISBN:
(纸本)0818669055
A novel algorithm for diagnosing bridging faults in combinational circuits is presented. The voting model is assumed. The diagnosis algorithm guarantees the "object bridging fault" (bridging fault in the circuit being diagnosed) to be in the final fault list. The novelties of the algorithm are: (i) unlike previous algorithms it does not use the full fault dictionary but uses portions of the stuck-at fault dictionary which is computed dynamically; (ii) it enumerates the faults implicitly using a compact data structure; and (iii) fault dropping rules, using stuck-at fault simulation only, are used. The resulting algorithm is both time and spaceefficient. Experimental evaluation of the algorithm is presented.
In this paper we introduce some new methods for constructing Ordered Partial Decision Diagrams (OPDDs), The algorithms are effective in capturing a significant fraction of a given function's truth table using only...
详细信息
In this paper we introduce some new methods for constructing Ordered Partial Decision Diagrams (OPDDs), The algorithms are effective in capturing a significant fraction of a given function's truth table using only a very small space. Using such datastructures the importance of a variable in a Boolean function can be computed. Such methods can easily be used for computing effective variable orders to construct BDDs. The measures of a variable's importance are based on information-theoretic criteria, and require computation of the entropy of a variable for a given function. We have found that entropy measures can be quite efficient in distinguishing the importance of variables, and at times provide very effective variable order. The results show an encouraging approach towards the understanding and the solution of this well known problem.
暂无评论