http:^^www.cs.washington.edu^homes^ladner^papers.html

来自「This data set contains WWW-pages collect」· HTML 代码 · 共 445 行 · 第 1/2 页

<LI> R. E. Ladner, N. A. Lynch and A. L. Selman, A Comparison of
Polynomial Time Reducibilities. <EM> Theoretical Computer Science,
vol. 1</EM>, 1975, 103-123

<LI> A. R. Freedman and R. E. Ladner, Space Bounds for Processing
Contentless Inputs. <EM> Journal of Computer and System Sciences,
vol. 11, no. 1</EM>, August 1975, 118-128

<LI> R. E. Ladner and L. P. Sasso, Jr., The Weak Truth Table Degrees
of Recursively Enumerable Sets. <EM> Annals of Mathematical Logic,
vol. 8</EM>, 1975, 429-448

<LI> R. E. Ladner, On the Structure of Polynomial Time Reducibility.
<EM> Journal of the ACM, vol. 22, no. 1</EM>, January 1975, 155-171

<LI> R. E. Ladner, A Completely Mitotic Nonrecursive R.E. Degree.
<EM> Transactions of the AMS, vol. 184</EM>, October 1973, 479-507

<LI> R. E. Ladner, Mitotic Recursively Enumerable Sets,
<EM> Journal of Symbolic Logic, vol. 38, no. 2</EM>, June, 1973,
199-211

</UL>

<H3>
Conference Papers
</H3>

<UL>
<LI>
A. LaMarca and R.E. Ladner.
The Influence of Caches on the Performance of Sorting.
Symposium on Discrete Algorithms. 1997.

<LI>
M.H. Johnson, R. Ladner, and E.A. Riskin.
Fast Nearest Neighbor Search for ECVQ and other Modified Distorsion 
Measures by Comparing Boundary Distance.
IEEE International Conference on Image Processing, 1996.

<LI>	
B.S. Srinivas, M. Azizoglu, E. Riskin and R. Ladner.
Progressive Image Transmission with Error Concealment on a Lossy
Packet Network. International Conference on Acoustics, 
Speech and Signal Processing, 1996.

<LI>
B.S. Srinivas, E.A. Riskin, R. Ladner and M. Azi\~{0}oglu.
Progressive Image Transmission on a Channel with Memory.
Thirty-third Annual
Allerton Conference on Communications, Control and Computing, 
pp. 265-274, Oct. 4-6th 1995.

<LI>
J.D. Fix and R.E. Ladner.
Optimal One-Way Sorting on a One-Dimensional Sub-Bus Array.
Sixth Annual ACM-SIAM Symposium on Discrete Algorithms,
January, 1995, 586-594.

<LI> K.B Erickson, R.E. Ladner, A. LaMarca.
Optimizing Static Calendar Queues.
35th Annual Symposium on Foundations of Computer Science, November, 1994
732-743.

<LI> R.E. Ladner, J. Lampe, and R. Rogers.
Vector Prefix Addition on Sub-Bus Mesh Computers. 1993
5th Annual ACM Symposium on Parallel Algorithms and Architectures

<LI> E.A. Riskin, R. Ladner, L.E. Atlas, and R.Y. Wang.
Index Assignment for Progressive Transmission of Full Search Vector
Quantization.  IEEE 1993 International Symposium on Information
Theory.  Later revised and published

<LI> D. Cohn, E.A. Riskin, and R. Ladner. Theory and Practice of
Vector Quantizers Trained on Small Training Sets.
IEEE 1993 International Symposium on Information
Theory.  Revised and published

<LI> A. Condon and R. Ladner. Interactive Proof Systems with
Polynomial Bounded Strategies. 1992 IEEE Conference on Structure
in Complexity Theory. Later revised and published

<LI> J. Felsenstein, R. Ladner, J. Lampe, and T. Nguyen.
Parallel Algorithms for Computational Biology (Extended Abstract).
Data Parallel Research Initiative Symposium sponsored by Digital
Equipment Corporation, April 1992.

<LI> E. Tempero and R.E. Ladner. Tight Bounds for Weakly-Bounded
Protocols. Ninth Annual ACM Symposium on Principles of Distributed
Computing, 1990, 205-218.  Revised and submitted for publication
under the title ``Recoverable Sequence Transmission Protocols''

<LI> D. Cohn, L. Atlas, R. Ladner, R. Marks II, M. El-Sharkawi,
M. Aggoune, D. Park. Training Connectionist Networks with Queries and
Selective Sampling. Advances in Neural Information Processing, 1989,
Edited by David S. Touretzky, Morgan Kaufmann Publishers, San
Mateo, CA. 566-573.  Part revised and published

<LI> R.E. Ladner. Computer Accessibility for Workers with Disabilities:
It's the Law. Invited Paper at DIAC-88, Directions and Implications of
Advanced Computing, August 1988, 18-23. Later revised and published

<LI> R. Ladner. DBNet - A Computer Network for Deaf-Blind People.
Computer Technology/Special Education/Rehabilitation
(Sponsored by Office of Disabled Student Services, California
State University, Northridge. October 1987, 349-356

<LI> R. Ladner, R. Day, D. Gentry, K. Meyer, and S. Rose.
A User Interface for Deaf-Blind People (Preliminary Report).
CHI+GI '87, Conference on Human Factors in Computing and Graphics 
Interface, April, 1987, 

<LI> A. Condon and R. Ladner, Probabilistic Game Automata.
Structure in Complexity Theory, Proceedings of the Conference held at
the University of California, June 1986.  Springer-Verlag Lecture Notes
in Computer Science, 223, 144-162. Later revised and published

<LI> R.E. Ladner and J. Reif, The Logic of Distributed Protocols.
Theoretical Aspects of Reasoning about Knowledge, Proceedings of the
1986 Conference.  Edited by Joseph Y. Halpern. Morgan Kaufmann 
Publishers, Inc. March 1986, 207-222

<LI> R.E. Ladner,  DBNet - A Computer Network for Deaf-Blind People. 10th 
University Study Conference (Sponsored by IBM), November 1985, 225-235

<LI> R. E. Ladner and B. J. Wagreich, Networks for Deaf-Blind People. 
Spring COMPCON '84, February, 1984

<LI> A. G. Greenberg and R. E. Ladner, Estimating the Multiplicities of 
Conflicts in Multiple Access Channels (Preliminary Report). Proceedings
of the 24th IEEE Symposium on Foundations of Computer Science, November, 1983.
Later revised and published

<LI> U. Manber and R. E. Ladner, Concurrency Control in a Dynamic Search 
Structure. Proceedings of 
ACM SIGACT-SIGMOD Symposium on Principles of Database Systems,
1982.  Later revised and published

<LI> V. Klee and R. E. Ladner, Qualitative Matrices: Strong Sign-solvability
and Weak Satisfiability. Proceedings of 
First Symposium on Computer-Assisted Analysis
and Model Simplification, 1980.  
Published in <EM> Computer-Assisted Analysis
and Model Simplification</EM>, edited by H. J. Greenberg and J. S. Maybee,
Academic Press, 1981, 293-320

<LI> R. E. Ladner, Complexity Theory with Emphasis on the
Complexity of Logical Theories. Proceedings of Logic Colloquium '79.
Published in <EM> Recursion Theory:
its Generalizations and Applications</EM>, edited by F. R. Drake
and S. S. Wainer, Cambridge University Press, 1980, 286-319

<LI> R. E. Ladner, The Complexity of Problems in Systems of
Communicating Sequential Processes. Proceedings of Eleventh Annual ACM Symposium
on Theory of Computing, l979, 214-223.  Later revised and published

<LI> R. E. Ladner, R. J. Lipton, L. J. Stockmeyer, Alternating
Pushdown Automata. Proceedings of Nineteenth Annual Symposium 
on Foundations of Computer Science, 1978, 92-106.  Later revised 
and published
as ``Alternating Pushdown and Stack Automata''

<LI> G. B. Goodrich, R. E. Ladner, and M. J. Fischer, Straight-line
Programs to Compute Finite Languages. Proceedings of Conference 
on Theoretical Computer Science, University of Waterloo, 1977.  Also
available as Technical Report 77-06-01, Dept. of Computer Science,
University of Washington, 1977

<LI> R. E. Ladner and M. J. Fischer, Parallel Prefix Computation.
Proceedings of 1977 International Conference on Parallel 
Processing, 218-223. Later revised and published

<LI> M. J. Fischer and R. E. Ladner, Propositional Modal Logic
of Programs:  Extended Abstract. Proceedings of Ninth Annual ACM 
Symposium on Theory of Computing 1977, 286-294.  Later revised and
published as ``Propositional Dynamic Logic of Regular Programs''

<LI> R. E. Ladner, N. A. Lynch, and A. R. Selman, Comparison of
Polynomial-time Reducibilities. Proceedings of Sixth Annual ACM 
Symposium on Theory of Computing 1974, 110-121.  Later revised 
and published as `` A Comparison of Polynomial Time Reducibilities''

<LI> R. E. Ladner, Polynomial Time Reducibility. Proceedings of Fifth
Annual ACM Symposium on Theory of Computing 1973, 122-129. Later
revised and published as ``On the Structure of Polynomial Time 
Reducibilities''
</UL>

<H3>
Other Papers
</H3>
<UL>
<LI> C. L. Cheung and R.E. Ladner. Symmetric K-Span Matching Problem.
<EM> Journal of Undergraduate Research</EM> Vol. 2. No. 2., 1995, 168-178.

<LI> E.W. Felten, A. LaMarca, and R. Ladner. Building
Counting Networks from Larger Balancers.  
Technical Report 93-04-09,
Department of Computer Science and Engineering, University of Washington.
Submitted for publication.

<LI> D. McHale and R.E. Ladner. A Simple Algorithm for Automated
Braille Translation.

<LI> G. Swart and R. E. Ladner,
Efficient Algorithms for Reporting Intersections.
Technical Report 83-07-03, Dept. of Computer Science, University of
Washington, 1983

<LI> M. J. Fischer and R. E. Ladner, Data Structures for
Efficient Implementation of Sticky Pointers. Technical Report
79-06-08, Dept. of Computer Science, University of Washington, 1979

<LI> R. E. Ladner, Making Infinite Structures Appear Finite in
First Order Logic. Technical Report 76-10-09, Dept. of Computer
Science, University of Washington, 1976

<LI> R. E. Ladner, The Circuit Value Problem is Log Space Complete
for P. SIGACT NEWS, vol. 7, no. 1, January 1975, 18-20
</UL>
</body>
</html>