default search action
25th STOC 1993: San Diego, California, USA
- S. Rao Kosaraju, David S. Johnson, Alok Aggarwal:
Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, May 16-18, 1993, San Diego, CA, USA. ACM 1993, ISBN 0-89791-591-7 - Arthur W. Chou, Ker-I Ko:
Some complexity issues on the simply connected regions of the two-dimensional plane. 1-10 - Ethan Bernstein, Umesh V. Vazirani:
Quantum complexity theory. 11-20 - Charles H. Bennett, Péter Gács, Ming Li, Paul M. B. Vitányi, Wojciech H. Zurek:
Thermodynamics of computation and information distance. 21-30 - Juan A. Garay, Yoram Moses:
Fully polynomial Byzantine agreement in t+1 rounds. 31-41 - Ran Canetti, Tal Rabin:
Fast asynchronous Byzantine agreement with optimal resilience. 42-51 - Michael Ben-Or, Ran Canetti, Oded Goldreich:
Asynchronous secure computation. 52-61 - Tao Jiang, Ming Li:
k one-way heads cannot do string-matching. 62-70 - Brenda S. Baker:
A theory of parameterized pattern matching: algorithms and applications. 71-80 - Ramana M. Idury, Alejandro A. Schäffer:
Multiple matching of rectangular patterns. 81-90 - Elizabeth Borowsky, Eli Gafni:
Generalized FLP impossibility result for t-resilient asynchronous computations. 91-100 - Michael E. Saks, Fotios Zaharoglou:
Wait-free k-set agreement is impossible: the topology of public knowledge. 101-110 - Maurice Herlihy, Nir Shavit:
The asynchronous computability theorem for t-resilient tasks. 111-120 - Christos H. Papadimitriou, Mihalis Yannakakis:
Linear programming without the matrix. 121-129 - Ryan S. Borgstrom, S. Rao Kosaraju:
Comparison-based search in the presence of errors. 130-136 - Martin Farach, Sampath Kannan, Tandy J. Warnow:
A robust model for finding optimal evolutionary trees. 137-145 - Stefan Felsner, Lorenz Wernisch:
Maximum k-chains in planar point sets: combinatorial structure and algorithms. 146-153 - Eyal Kushilevitz, Yishay Mansour, Michael O. Rabin, David Zuckerman:
Lower bounds for randomized mutual exclusion. 154-163 - Baruch Awerbuch, Yair Bartal, Amos Fiat:
Competitive distributed file allocation. 164-173 - Cynthia Dwork, Maurice Herlihy, Orli Waarts:
Contention in shared memory algorithms. 174-183 - Moni Naor, Larry J. Stockmeyer:
What can be computed locally? 184-193 - Robert F. Cohen, Giuseppe Di Battista, Arkady Kanevsky, Roberto Tamassia:
Reinventing the wheel: an optimal data structure for connectivity queries. 194-200 - Mario Szegedy, Sundar Vishwanathan:
Locality based graph coloring. 201-207 - David Eppstein, Zvi Galil, Giuseppe F. Italiano, Thomas H. Spencer:
Separator based sparsification for dynamic planar graph algorithms. 208-217 - Leslie Ann Goldberg:
Polynomial space polynomial delay algorithms for listing families of graphs. 218-225 - Hans L. Bodlaender:
A linear time algorithm for finding tree-decompositions of small treewidth. 226-234 - Noam Nisan, David Zuckerman:
More deterministic simulation in logspace. 235-244 - Avi Wigderson, David Zuckerman:
Expanders that beat the eigenvalue bound: explicit construction and applications. 245-251 - Ravi B. Boppana, Babu O. Narayanan:
The biased coin problem. 252-257 - Nathan Linial, Michael Luby, Michael E. Saks, David Zuckerman:
Efficient construction of a small hitting set for combinatorial rectangles in high dimension. 258-267 - Daphne Koller, Nimrod Megiddo:
Constructing small sample spaces satisfying given constraints. 268-277 - Richard M. Karp:
Mapping the genome: some combinatorial problems arising in molecular biology. 278-285 - Carsten Lund, Mihalis Yannakakis:
On the hardness of approximating minimization problems. 286-293 - Mihir Bellare, Shafi Goldwasser, Carsten Lund, Alexander Russell:
Efficient probabilistically checkable proofs and applications to approximations. 294-304 - Anne Condon, Joan Feigenbaum, Carsten Lund, Peter W. Shor:
Probabilistically checkable debate systems and approximation algorithms for PSPACE-hard functions. 305-314 - Yoav Freund, Michael J. Kearns, Dana Ron, Ronitt Rubinfeld, Robert E. Schapire, Linda Sellie:
Efficient learning of typical finite automata from random walks. 315-324 - Angus Macintyre, Eduardo D. Sontag:
Finiteness results for sigmoidal "neural" networks. 325-334 - Wolfgang Maass:
Bounds for the computational power and learning complexity of analog neural nets. 335-344 - Sanjoy K. Baruah, N. K. Cohen, C. Greg Plaxton, Donald A. Varvel:
Proportionate progress: a notion of fairness in resource allocation. 345-354 - Nicholas Pippenger:
Self-routing superconcentrators. 355-361 - Robert D. Blumofe, Charles E. Leiserson:
Space-efficient scheduling of multithreaded computations. 362-371 - Michael Kharitonov:
Cryptographic hardness of distribution-specific learning. 372-381 - Nicolò Cesa-Bianchi, Yoav Freund, David P. Helmbold, David Haussler, Robert E. Schapire, Manfred K. Warmuth:
How to use expert advice. 382-391 - Michael J. Kearns:
Efficient noise-tolerant learning from statistical queries. 392-401 - Steven J. Phillips, Jeffery R. Westbrook:
Online load balancing and network flow. 402-411 - Edward G. Coffman Jr., David S. Johnson, Peter W. Shor, Richard R. Weber:
Markov chains, computer proofs, and average-case analysis of best fit bin packing. 412-421 - Marshall W. Bern, Daniel H. Greene, Arvind Raghunathan:
On-line algorithms for cache sharing. 422-430 - Giuseppe Di Battista, Luca Vismara:
Angles of planar triangular graphs. 431-437 - R. Ravi, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Harry B. Hunt III:
Many birds with one stone: multi-objective approximation algorithms. 438-447 - Michael Luby, Noam Nisan:
A parallel approximation algorithm for positive linear programming. 448-457 - Suresh Chari, Pankaj Rohatgi, Aravind Srinivasan:
Randomness-optimal unique element isolation, with applications to perfect matching and related problems. 458-467 - Rudolf Fleischer:
Decision trees: old and new results. 468-477 - Jirí Matousek, Otfried Schwarzkopf:
A deterministic algorithm for the three-dimensional diameter problem. 478-484 - John Hershberger, Subhash Suri:
Matrix searching with the shortest path metric. 485-494 - Bernard Chazelle, Herbert Edelsbrunner, Michelangelo Grigni, Leonidas J. Guibas, Micha Sharir, Emo Welzl:
Improved bounds on weak epsilon-nets for convex sets. 495-504 - Mark de Berg, Jirí Matousek, Otfried Schwarzkopf:
Piecewise linear paths among convex obstacles. 505-514 - Eric Allender, Jia Jiao:
Depth reduction for noncommutative arithmetic circuits. 515-522 - Pavel Pudlák, Vojtech Rödl:
Modified ranks of tensors and the size of circuits. 523-531 - Mauricio Karchmer, Avi Wigderson:
Characterizing non-deterministic circuit size. 532-540 - Russell Impagliazzo, Ramamohan Paturi, Michael E. Saks:
Size-depth trade-offs for threshold circuits. 541-550 - Mikael Goldmann, Marek Karpinski:
Simulating threshold circuits by majority circuits. 551-560 - Richard Cole, Bruce M. Maggs, Ramesh K. Sitaraman:
Multi-scale self-simulation: a technique for reconfiguring arrays with faults. 561-572 - Allan Borodin, Prabhakar Raghavan, Baruch Schieber, Eli Upfal:
How much can hardware help routing? 573-582 - Noga Alon, Fan R. K. Chung, Ronald L. Graham:
Routing permutations on graphs via matchings. 583-591 - Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi:
Parametric real-time reasoning. 592-601 - Neil D. Jones:
Constant time factors do matter. 602-611 - Tomás Feder, Moshe Y. Vardi:
Monotone monadic SNP and constraint satisfaction. 612-622 - James Aspnes, Yossi Azar, Amos Fiat, Serge A. Plotkin, Orli Waarts:
On-line load balancing with applications to machine scheduling and virtual circuit routing. 623-631 - William Aiello, Baruch Awerbuch, Bruce M. Maggs, Satish Rao:
Approximate load balancing on dynamic and asynchronous networks. 632-641 - Anja Feldmann, Ming-Yang Kao, Jirí Sgall, Shang-Hua Teng:
Optimal online scheduling of parallel jobs with dependencies. 642-651 - Baruch Awerbuch, Shay Kutten, Yishay Mansour, Boaz Patt-Shamir, George Varghese:
Time optimal self-stabilizing synchronization. 652-661 - Jason Cooper, Nathan Linial:
Fast perfection-information leader-election protocol with linear immunity. 662-671 - Charles Rackoff, Daniel R. Simon:
Cryptographic defense against traffic analysis. 672-681 - Philip N. Klein, Serge A. Plotkin, Satish Rao:
Excluded minors, network decomposition, and multicommodity flow. 682-690 - Serge A. Plotkin, Éva Tardos:
Improved bounds on the max-flow min-cut ratio for multicommodity flows. 691-697 - Naveen Garg, Vijay V. Vazirani, Mihalis Yannakakis:
Approximate max-flow min-(multi)cut theorems and their applications. 698-707 - David P. Williamson, Michel X. Goemans, Milena Mihail, Vijay V. Vazirani:
A primal-dual approximation algorithm for generalized Steiner network problems. 708-717 - Jeff Edmonds:
Time-space trade-offs for undirected st-connectivity on a JAG. 718-727 - Greg Barnes, Uriel Feige:
Short random walks on graphs. 728-737 - Claire Kenyon, Dana Randall, Alistair Sinclair:
Matchings in lattice graphs. 738-746 - Leonard J. Schulman:
Deterministic coding for interactive communication. 747-756 - David R. Karger, Clifford Stein:
An O~(n2) algorithm for minimum cuts. 757-765 - James K. Park, Cynthia A. Phillips:
Finding minimum-quotient cuts in planar graphs. 766-775 - Cynthia A. Phillips:
The network inhibition problem. 776-785 - Sigal Ar, Manuel Blum, Bruno Codenotti, Peter Gemmell:
Checking approximate computations over the reals. 786-795 - Adi Shamir:
On the generation of multivariate polynomials which are hard to factor. 796-804 - Joachim von zur Gathen, Marek Karpinski, Igor E. Shparlinski:
Counting curves and their projections. 805-812
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.