• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 354
Next 10 →

Interprocedural dataflow analysis via graph reachability

by Thomas Reps, Susan Horwitz, Mooly Sagiv , 1994
"... The paper shows how a large class of interprocedural dataflow-analysis problems can be solved precisely in poly-nomial time by transforming them into a special kind of graph-reachability problem. The only restrictions are that the set of dataflow facts must be a finite set, and that the dataflow fun ..."
Abstract - Cited by 454 (34 self) - Add to MetaCart
The paper shows how a large class of interprocedural dataflow-analysis problems can be solved precisely in poly-nomial time by transforming them into a special kind of graph-reachability problem. The only restrictions are that the set of dataflow facts must be a finite set, and that the dataflow

Efficiency of a Good But Not Linear Set Union Algorithm

by Robert Endre Tarjan , 1975
"... Two types of instructmns for mampulating a family of disjoint sets which partitmn a umverse of n elements are considered FIND(x) computes the name of the (unique) set containing element x UNION(A, B, C) combines sets A and B into a new set named C. A known algorithm for implementing sequences of the ..."
Abstract - Cited by 321 (15 self) - Add to MetaCart
of these mstructmns is examined It is shown that, if t(m, n) as the maximum time reqmred by a sequence of m> n FINDs and n-- 1 intermixed UNIONs, then kima(m, n) _~ t(m, n) < k:ma(m, n) for some positive constants ki and k2, where a(m, n) is related to a functional inverse of Ackermann's functmn

A Simple and Efficient Union-Find-Delete Algorithm

by Amir Ben-amram, Simon Yoffe , 2010
"... The Union-Find data structure for maintaning disjoint sets is one of the best known and widespread data structures, in particular the version with constant-time Union and efficient Find. Recently, the question of how to handle deletions from the structure in an efficient manner has been taken up, fi ..."
Abstract - Add to MetaCart
The Union-Find data structure for maintaning disjoint sets is one of the best known and widespread data structures, in particular the version with constant-time Union and efficient Find. Recently, the question of how to handle deletions from the structure in an efficient manner has been taken up

Topics over time: A non-Markov continuous-time model of topical trends

by Xuerui Wang, Andrew Mccallum - in SIGKDD , 2006
"... This paper presents an LDA-style topic model that captures not only the low-dimensional structure of data, but also how the structure changes over time. Unlike other recent work that relies on Markov assumptions or discretization of time, here each topic is associated with a continuous distribution ..."
Abstract - Cited by 251 (10 self) - Add to MetaCart
time. We present results on nine months of personal email, 17 years of NIPS research papers and over 200 years of presidential state-of-the-union addresses, showing improved topics, better timestamp prediction, and interpretable trends.

Union-Find with Constant Time Deletions

by Stephen Alstrup, Inge Li Gørtz, Theis Rauhe, Mikkel Thorup, Uri Zwick
"... A union-find data structure maintains a collection of disjoint sets under makeset, union and find operations. Kaplan, Shafrir and Tarjan [SODA 2002] designed data structures for an extension of the unionfind problem in which elements of the sets maintained may be deleted. The cost of a delete opera ..."
Abstract - Cited by 6 (1 self) - Add to MetaCart
structure that supports delete, aswell as makeset and union, operations in constant time, while still supporting find operations in O(log n) worst-case time and O(α(n)) amortized time, where n is the number of elements in the set returned by the find operation, and α(n) is a functional inverse of Ackermann

Adaptive Set Intersections, Unions, and Differences

by Erik D. Demaine, Alejandro López-Ortiz, J. Ian Munro - In Proceedings of the 11th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA , 2000
"... Motivated by boolean queries in text database systems, we consider the problems of finding the intersection, union, or difference of a collection of sorted sets. While the worst-case complexity of these problems is straightforward, we consider a notion of complexity that depends on the particular in ..."
Abstract - Cited by 88 (9 self) - Add to MetaCart
instance. We develop the idea of a proof that a given set is indeed the correct answer. Proofs, and in particular shortest proofs, are characterized. We present adaptive algorithms that make no a priori assumptions about the problem instance, and show that their running times are within a constant factor

Minimum energy mobile wireless networks revisited

by Xiang-yang Li, Peng-jun Wan - In IEEE International Conference on Communications (ICC , 2001
"... Energy conservation is a critical issue in designing wireless ad hoc networks, as the nodes are powered by batteries only. Given a set of wireless network nodes, the directed weighted transmission graph Gt has an edge uv if and only if node v is in the transmission range of node u and the weight of ..."
Abstract - Cited by 170 (6 self) - Add to MetaCart
of uv is typically defined as II,,vll + c for a constant 2 <_ t ~ < 5 and c> O. The minimum power topology Gm is the smallest subgraph of Gt that contains the shortest paths between all pairs of nodes, i.e., the union of all shortest paths. In this paper, we described a distributed position

Searching in Constant Time and Minimum Space

by Andrej Brodnik , 1995
"... This report deals with techniques for minimal space representation of a subset of elements from a bounded universe so that various types of searches can be performed in constant time. In particular, we introduce a data structure to represent a subset of N elements of [0�:::�M;1] in a number of bits ..."
Abstract - Cited by 11 (8 self) - Add to MetaCart
requires M 2 + o(M 2) bits. Finally, under a byte overlap model of memory we present an M + o(M) bit, constant time solution to the dynamic one-dimensional closest neighbour problem (hence, also union-split-find and priority queue problems) on [0�:::�M; 1].

A Linear-Time Algorithm for Computing Inversion Distance between Signed Permutations with an Experimental Study

by David A. Bader, Bernard M. E. Moret, Mi Yan - Journal of Computational Biology , 2001
"... Hannenhalli and Pevzner gave the first polynomial-time algorithm for computing the inversion distance between two signed permutations, as part of the larger task of determining the shortest sequence of inversions needed to transform one permutation into the other. Their algorithm (restricted to dist ..."
Abstract - Cited by 151 (15 self) - Add to MetaCart
of the overlap graph and gave an O(n alpha(n)) algorithm, based on a Union-Find structure, to find its connected components, where a is the inverse Ackerman function. Since for all practical purposes alpha(n) is a constant no larger than four, this algorithm has been the fastest practical algorithm to date

in the European Union

by Ana Luísa, Paulino Coutinho , 2011
"... 1 This paper aims to examine the Competitiveness of China and India in the European Union based on the international trade values, during the time period 2001-2009. It firstly reflects about the ambiguous definition of Competitiveness as well as the diversity of methods that exist to measure this co ..."
Abstract - Add to MetaCart
1 This paper aims to examine the Competitiveness of China and India in the European Union based on the international trade values, during the time period 2001-2009. It firstly reflects about the ambiguous definition of Competitiveness as well as the diversity of methods that exist to measure
Next 10 →
Results 1 - 10 of 354
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University