Richard E. Ladner

Orcid: 0000-0001-9413-6774

Affiliations:
  • University of Washington, Seattle, Washington, USA


According to our database1, Richard E. Ladner authored at least 230 papers between 1973 and 2024.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of two.

Awards

ACM Fellow

ACM Fellow 1995, "For seminal and significant contributions in theoretical computer science research.".

IEEE Fellow

IEEE Fellow 2009, "For contributions to computational complexity, algorithms, data compression and accessible computing".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Accessible to Whom? Bringing Accessibility to Blocks.
Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

Disability and Accessibility in Computer Science Education.
Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

2023
ASL Citizen: A Community-Sourced Dataset for Advancing Isolated Sign Language Recognition.
CoRR, 2023

Disability in Computer Science Education.
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

ASL Citizen: A Community-Sourced Dataset for Advancing Isolated Sign Language Recognition.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Understanding and Enhancing The Role of Speechreading in Online d/DHH Communication Accessibility.
Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

U.S. Deaf Community Perspectives on Automatic Sign Language Translation.
Proceedings of the 25th International ACM SIGACCESS Conference on Computers and Accessibility, 2023

2022
Disability in Computer Science Education.
Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

Co-Designing Systems to Support Blind and Low Vision Audio Description Writers.
Proceedings of the 24th International ACM SIGACCESS Conference on Computers and Accessibility, 2022

2021
Expanding a Large Inclusive Study of Human Listening Rates.
ACM Trans. Access. Comput., 2021

The FATE Landscape of Sign Language AI Datasets: An Interdisciplinary Perspective.
ACM Trans. Access. Comput., 2021

Broadening participation by teaching accessibility.
Commun. ACM, 2021

Experiences of Computing Students with Disabilities.
Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Disability in Computer Science Education.
Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Panel: An intersectional approach to including disability in BPC.
Proceedings of the 2021 Conference on Research in Equitable and Sustained Participation in Engineering, 2021

2021 SIG on Access in SIGCHI.
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2020
Panel: What and How to Teach Accessibility.
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Computer Science Principles for Teachers of Deaf Students.
Proceedings of the Research on Equity and Sustained Participation in Engineering, 2020

Why is Data on Disability so Hard to Collect and Understand?
Proceedings of the Research on Equity and Sustained Participation in Engineering, 2020

2019
BEST PAPER AT SIGCSE 2019 IN THE EXPERIENCE REPORTS AND TOOLS TRACK: Computer science principles for teachers of blind and visually impaired students.
Inroads, 2019

Smoothing the path to computing: pondering uses for big data.
Commun. ACM, 2019

Computer Science Principles for Teachers of Blind and Visually Impaired Students.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Blocks4All: Making Blocks-Based Programming Languages Accessible for Children with Visual Impairments.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Access to Computing Education for Students with Disabilities.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Educational Experiences of Blind Programmers.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Understanding the Impact of TVIs on Technology Use and Selection by Children with Visual Impairments.
Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

Demonstration of GestureCalc: An Eyes-Free Calculator for Touch Screens.
Proceedings of the 21st International ACM SIGACCESS Conference on Computers and Accessibility, 2019

GestureCalc: An Eyes-Free Calculator for Touch Screens.
Proceedings of the 21st International ACM SIGACCESS Conference on Computers and Accessibility, 2019

2018
An interview with access computing.
ACM SIGCSE Bull., 2018

Session details: Broadening participation.
Commun. ACM, 2018

Who Teaches Accessibility?: A Survey of U.S. Computing Faculty.
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Access to Computing Education for Students with Disabilities: (Abstract Only).
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

2018 Panel of Computing Students with Disabilities.
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Blocks4All: Overcoming Accessibility Barriers to Blocks Programming for Children with Visual Impairments.
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

A Large Inclusive Study of Human Listening Rates.
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

Session details: Keynote.
Proceedings of the 20th International ACM SIGACCESS Conference on Computers and Accessibility, 2018

Designing an Animated Character System for American Sign Language.
Proceedings of the 20th International ACM SIGACCESS Conference on Computers and Accessibility, 2018

2017
Design and Real-World Evaluation of Eyes-Free Yoga: An Exergame for Blind and Low-Vision Exercise.
ACM Trans. Access. Comput., 2017

AccessCSforall: making computer science accessible to K-12 students in the United States.
ACM SIGACCESS Access. Comput., 2017

Making your presentation accessible.
Interactions, 2017

The Quorum Programming Language (Abstract Only).
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

Access to Computing Education for Students with Disabilities (Abstract Only).
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

Teaching Accessibility.
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

Blocks4All Demonstration: a Blocks-Based Programming Environment for Blind Children.
Proceedings of the 19th International ACM SIGACCESS Conference on Computers and Accessibility, 2017

2016
Tactile Graphics with a Voice.
ACM Trans. Access. Comput., 2016

<i>AccessComputing</i> Promotes Teaching Accessibility.
Inroads, 2016

"For all" in "computer science for all".
Commun. ACM, 2016

Universal Access to Computing Education (Abstract Only).
Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

SIG on the State of Accessibility at CHI.
Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016

Promoting Strategic Research on Inclusive Access to Rich Online Content and Services.
Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility, 2016

Accessibility is Becoming Mainstream.
Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility, 2016

Improving Real-Time Captioning Experiences for Deaf and Hard of Hearing Students.
Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility, 2016

A Personalizable Mobile Sound Detector App Design for Deaf and Hard-of-Hearing Users.
Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility, 2016

2015
Evaluating Intelligibility and Battery Drain of Mobile Sign Language Video Transmitted at Low Frame Rates and Bit Rates.
ACM Trans. Access. Comput., 2015

Introduction to the ASSETS'13 Special Issue, Part 2.
ACM Trans. Access. Comput., 2015

Introduction to the ASSETS'13 Special Issue.
ACM Trans. Access. Comput., 2015

Design for user empowerment.
Interactions, 2015

Increasing the participation of individuals with disabilities in computing.
Commun. ACM, 2015

Introduction to AccessCS10K and Accessible Tools for Teaching Programming.
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

Universal Access to Computing Education (Abstract Only).
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

A User-Powered American Sign Language Dictionary.
Proceedings of the 18th ACM Conference on Computer Supported Cooperative Work & Social Computing, 2015

StructJumper: A Tool to Help Blind Programmers Navigate and Understand the Structure of Code.
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

Exploring the Opportunities and Challenges with Exercise Technologies for People who are Blind or Low-Vision.
Proceedings of the 17th International ACM SIGACCESS Conference on Computers & Accessibility, 2015

2014
My path to becoming an accessibility researcher.
ACM SIGACCESS Access. Comput., 2014

The impact of the United Nations convention on the rights of persons with disabilities.
Commun. ACM, 2014

Panel of computing students with disabilities.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Analyzing the intelligibility of real-time mobile sign language video transmitted below recommended standards.
Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility, 2014

BraillePlay: educational smartphone games for blind children.
Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility, 2014

Using computer vision to access appliance displays.
Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility, 2014

Tactile graphics with a voice demonstration.
Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility, 2014

Tactile graphics with a voice: using QR codes to access text in tactile graphics.
Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility, 2014

2013
Fast algorithms for designing nearly optimal lookup tables for complexity control of the H.264 encoder.
Signal Image Video Process., 2013

DigiTaps: eyes-free number entry on touchscreens with minimal audio feedback.
Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, 2013

Bilingual Voice Conversion by Weighted Frequency Warping Based on Formant Space.
Proceedings of the Text, Speech, and Dialogue - 16th International Conference, 2013

Universal access to computing education (abstract only).
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

VBGhost: a braille-based educational smartphone game for children.
Proceedings of the 15th International ACM SIGACCESS Conference on Computers and Accessibility, 2013

2012
Near-lossless and lossy compression of imaging spectrometer data: comparison of information extraction performance.
Signal Image Video Process., 2012

Windows scheduling of arbitrary-length jobs on multiple machines.
J. Sched., 2012

Communication Technologies for People With Sensory Disabilities.
Proc. IEEE, 2012

Strategies for increasing the participation in computing of students with disabilities.
Inroads, 2012

The need to balance innovation and implementation in broadening participation.
Commun. ACM, 2012

Improving the accessibility of computing enrichment programs (abstract only).
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Input finger detection for nonvisual touch screen text entry in <i>Perkinput</i>.
Proceedings of the Graphics Interface 2012 Conference, 2012

Tapulator: a non-visual calculator using natural prefix-free codes.
Proceedings of the 14th International ACM SIGACCESS Conference on Computers and Accessibility, 2012

Design goals for a system for enhancing AAC with personalized video.
Proceedings of the 14th International ACM SIGACCESS Conference on Computers and Accessibility, 2012

PassChords: secure multi-touch authentication for blind people.
Proceedings of the 14th International ACM SIGACCESS Conference on Computers and Accessibility, 2012

2011
Special Issue on Broadening Participation in Computing Education (Part 2).
ACM Trans. Comput. Educ., 2011

Introduction to Special Issue (Part 1): Broadening Participation in Computing Education.
ACM Trans. Comput. Educ., 2011

What the disability community can teach us about interactive crowdsourcing.
Interactions, 2011

Data trends on minorities and people with disabilities in computing.
Commun. ACM, 2011

Incentivizing the ASL-STEM forum.
Proceedings of the 7th International Symposium on Wikis and Open Collaboration, 2011

Access overlays: improving non-visual access to large touch screens for blind users.
Proceedings of the 24th Annual ACM Symposium on User Interface Software and Technology, 2011

Improving Compressed Video Sign Language Conversations in the Presence of Data Loss.
Proceedings of the 2011 Data Compression Conference (DCC 2011), 2011

Effect of MobileASL on communication among deaf users.
Proceedings of the International Conference on Human Factors in Computing Systems, 2011

Usable gestures for blind people: understanding preference and performance.
Proceedings of the International Conference on Human Factors in Computing Systems, 2011

Applying the NSF broader impacts criteria to HCI research.
Proceedings of the International Conference on Human Factors in Computing Systems, 2011

Enhancing independence and safety for blind and deaf-blind public transit riders.
Proceedings of the International Conference on Human Factors in Computing Systems, 2011

Evaluating quality and comprehension of real-time sign language video on mobile phones.
Proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility, 2011

The design of human-powered access technology.
Proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility, 2011

Smartphone haptic feedback for nonvisual wayfinding.
Proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility, 2011

2010
NTID International Symposium on Technology and Deaf Education: a review.
ACM SIGACCESS Access. Comput., 2010

WebAnywhere: experiences with a new delivery model for access technology.
Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2010

Asl-stem forum: enabling sign language to grow through online collaboration.
Proceedings of the 28th International Conference on Human Factors in Computing Systems, 2010

A web-based user survey for evaluating power saving strategies for deaf users of mobileASL.
Proceedings of the 12th International ACM SIGACCESS Conference on Computers and Accessibility, 2010

V-braille: haptic braille perception using a touch-screen and vibration on mobile phones.
Proceedings of the 12th International ACM SIGACCESS Conference on Computers and Accessibility, 2010

2009
Broadening participation - Opening remarks.
Commun. ACM, 2009

Activity analysis enabling real-time video communication on mobile phones for deaf users.
Proceedings of the 22nd Annual ACM Symposium on User Interface Software and Technology, 2009

The summer academy for advancing deaf and hard of hearing in computing.
Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009

H.264/MPEG-4 AVC Encoder Parameter Selection Algorithms for Complexity Distortion Tradeoff.
Proceedings of the 2009 Data Compression Conference (DCC 2009), 2009

Freedom to roam: a study of mobile device adoption and accessibility for people with visual and motor disabilities.
Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, 2009

ClassInFocus: enabling improved visual attention strategies for deaf and hard of hearing students.
Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, 2009

2008
Hearing Impairments.
Proceedings of the Web Accessibility - A Foundation for Research, 2008

Optimal delay for media-on-demand with pre-loading and pre-buffering.
Theor. Comput. Sci., 2008

Access and Empowerment: Commentary on "Computers and People with Disabilities".
ACM Trans. Access. Comput., 2008

A general buffer scheme for the windows scheduling problem.
ACM J. Exp. Algorithmics, 2008

Scheduling Techniques for Media-on-Demand.
Algorithmica, 2008

Webanywhere: enabling a screen reading interface for the web on any computer.
Proceedings of the 17th International Conference on World Wide Web, 2008

WebAnywhere: a screen reader on-the-go.
Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2008

WebAnywhere: a screen reading interface for the web on any computer.
Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2008

The game of life: an outreach model for high school students with disabilities.
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

Computer science for everyone: making your computing classes and departments accessible.
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

Inspiring blind high school students to pursue computer science with instant messaging chatbots.
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

ASL-STEM Forum: A Bottom-Up Approach to Enabling American Sign Language to Grow in STEM Fields.
Proceedings of the Second International Conference on Weblogs and Social Media, 2008

Addressing Performance and Security in a Screen Reading Web Application That Enables Accessibility Anywhere.
Proceedings of the Eighth International Conference on Web Engineering, 2008

Activity detection in conversational sign language video for mobile telecommunication.
Proceedings of the 8th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2008), 2008

Hunting for headings: sighted labeling vs. automatic classification of headings.
Proceedings of the 10th International ACM SIGACCESS Conference on Computers and Accessibility, 2008

2007
MultiStage: A MINMAX Bit Allocation Algorithm for Video Coders.
IEEE Trans. Circuits Syst. Video Technol., 2007

Windows scheduling as a restricted version of bin packing.
ACM Trans. Algorithms, 2007

Increasing the Participation of People with Disabilities in Computing Fields.
Computer, 2007

A web accessibility report card for top international university web sites.
Proceedings of the 2007 International Cross-Disciplinary Conference on Web Accessibility (W4A 2007), 2007

Accessmonkey: a collaborative scripting framework for web users and developers.
Proceedings of the 2007 International Cross-Disciplinary Conference on Web Accessibility (W4A 2007), 2007

Distortion-Complexity Optimization of the H.264/MPEG-4 AVC Encoder using the GBFOS Algorithm.
Proceedings of the 2007 Data Compression Conference (DCC 2007), 2007

Automated tactile graphics translation: in the field.
Proceedings of the 9th International ACM SIGACCESS Conference on Computers and Accessibility, 2007

Variable frame rate for low power mobile sign language communication.
Proceedings of the 9th International ACM SIGACCESS Conference on Computers and Accessibility, 2007

WebinSitu: a comparative analysis of blind and sighted browsing behavior.
Proceedings of the 9th International ACM SIGACCESS Conference on Computers and Accessibility, 2007

Algorithms to Take Advantage of Hardware Prefetching.
Proceedings of the Nine Workshop on Algorithm Engineering and Experiments, 2007

2006
An alliance to increase the participation of individuals with disabilities in computing careers.
ACM SIGACCESS Access. Comput., 2006

Algorithms for dynamic multicast key distribution.
ACM J. Exp. Algorithmics, 2006

Off-line and on-line guaranteed start-up delay for Media-on-Demand with stream merging.
J. Discrete Algorithms, 2006

Semi-matchings for bipartite graphs and load balancing.
J. Algorithms, 2006

Agreement/Disagreement Classification: Exploiting Unlabeled Data using Contrast Classifiers.
Proceedings of the Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics, 2006

Near-Lossless Compression of Hyperspectral Images.
Proceedings of the International Conference on Image Processing, 2006

MobileASL: : intelligibility of sign language video as constrained by mobile phone technology.
Proceedings of the 8th International ACM SIGACCESS Conference on Computers and Accessibility, 2006

WebInSight: : making web images accessible.
Proceedings of the 8th International ACM SIGACCESS Conference on Computers and Accessibility, 2006

Predictive Coding of Hyperspectral Images.
Proceedings of the Hyperspectral Data Compression, 2006

2005
Unequal loss protection for H.263 compressed video.
IEEE Trans. Circuits Syst. Video Technol., 2005

Windows scheduling of arbitrary length jobs on parallel machines.
Proceedings of the SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2005

Optimal adaptation strategies for Golomb codes on correlated sources.
Proceedings of the 2005 International Conference on Image Processing, 2005

MINMAX Bit Allocation for Quantization-Based Video Coders.
Proceedings of the 2005 Data Compression Conference (DCC 2005), 2005

Stream merging for live continuous broadcast with time-shifting.
Proceedings of the 2nd International Conference on Broadband Networks (BROADNETS 2005), 2005

Automating tactile graphics translation.
Proceedings of the ACM SIGACCESS Conference on Computers and Accessibility, 2005

2004
Efficient Algorithms for Optimal Stream Merging for Media-on-Demand.
SIAM J. Comput., 2004

Comparison of stream merging algorithms for media-on-demand.
Multim. Syst., 2004

Group Testing for Video Compression.
Proceedings of the 2004 Data Compression Conference (DCC 2004), 2004

Global MINMAX Interframe Bit Allocation for Embedded Video Coding.
Proceedings of the 2004 Data Compression Conference (DCC 2004), 2004

Reduced Complexity Wavelet-Based Predictive Coding of Hyperspectral Images for FPGA Implementation.
Proceedings of the 2004 Data Compression Conference (DCC 2004), 2004

2003
Group testing for image compression using alternative transforms.
Signal Process. Image Commun., 2003

Windows Scheduling Problems for Broadcast Systems.
SIAM J. Comput., 2003

Competitive on-line stream merging algorithms for media-on-demand.
J. Algorithms, 2003

Algorithms for dynamic multicast key distribution trees.
Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, 2003

Enhanced Sequitur for Finding Structure in Data.
Proceedings of the 2003 Data Compression Conference (DCC 2003), 2003

2002
Group testing for image compression.
IEEE Trans. Image Process., 2002

Thresholds and optimal binary comparison search trees.
J. Algorithms, 2002

Extended Golomb Codes for Binary Markov Sources.
Proceedings of the 2002 Data Compression Conference (DCC 2002), 2002

2001
Group Testing for Wavelet Packet Image Compression.
Proceedings of the Data Compression Conference, 2001

2000
Optimizing static calendar queues.
ACM Trans. Model. Comput. Simul., 2000

Fast nearest neighbor search of entropy-constrained vector quantization.
IEEE Trans. Image Process., 2000

Unequal loss protection: graceful degradation of image quality over packet erasure channels through forward error correction.
IEEE J. Sel. Areas Commun., 2000

Approximately Optimal Assignment for Unequal Loss Protection.
Proceedings of the 2000 International Conference on Image Processing, 2000

A Comparison of Cache Aware and Cache Oblivious Static Search Trees Using Program Instrumentation.
Proceedings of the Experimental Algorithmics, 2000

1999
Progressive transmission of images using MAP detection over channels with memory.
IEEE Trans. Image Process., 1999

The Influence of Caches on the Performance of Sorting.
J. Algorithms, 1999

Multiresolution banded refinement to accelerate surface reconstruction from polygons.
Comput. Geom., 1999

Cache Performance Analysis of Traversals and Random Accesses.
Proceedings of the Tenth Annual ACM-SIAM Symposium on Discrete Algorithms, 1999

Generalized Multiple Description Coding Through Unequal Loss Protection.
Proceedings of the 1999 International Conference on Image Processing, 1999

Nearest neighbor search for data compression.
Proceedings of the Data Structures, 1999

Graceful Degradation over Packet Erasure Channels through Forward Error Correction.
Proceedings of the Data Compression Conference, 1999

1998
Sorting by Parallel Insertion on a One-Dimensional Subbus Array.
IEEE Trans. Computers, 1998

Counting Protocols for Reliable End-to-End Transmission.
J. Comput. Syst. Sci., 1998

Recovering from Bit Errors in Scalar-Quantized Discrete Wavelet Transformed Images.
Proceedings of the 1998 IEEE International Conference on Image Processing, 1998

1996
Codebook organization to enhance maximum a posteriori detection of progressive transmission of vector quantized images over noisy channels.
IEEE Trans. Image Process., 1996

Complexity of Sub-Bus Mesh Computations.
SIAM J. Comput., 1996

The Influence of Caches on the Performance of Heaps.
ACM J. Exp. Algorithmics, 1996

Fast nearest neighbor search for ECVQ and other modified distortion measures.
Proceedings of the Proceedings 1996 International Conference on Image Processing, 1996

Image transmission with error concealment on a lossy packet network.
Proceedings of the 1996 IEEE International Conference on Acoustics, 1996

Model-based restoration of document images for OCR.
Proceedings of the Document Recognition III, San Jose, CA, USA, January 28, 1996, 1996

1995
Interactive Proof Systems with Polynomially Bounded Strategies.
J. Comput. Syst. Sci., 1995

Recoverable Sequence Transmission Protocols.
J. ACM, 1995

Optimal One-Way Sorting on a One-Dimensional Sub-Bus Array.
Proceedings of the Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, 1995

1994
Index assignment for progressive transmission of full-search vector quantization.
IEEE Trans. Image Process., 1994

Theory and Practice of Vector Quantizers Trained on Small Training Sets.
IEEE Trans. Pattern Anal. Mach. Intell., 1994

Improving Generalization with Active Learning.
Mach. Learn., 1994

1993
Vector Prefix Addition on Sub-Bus Mesh Computers.
Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, 1993

1992
The Complexity of Computing Symmetric Functions Using Threshold Circuits.
Theor. Comput. Sci., 1992

1991
Safety and Liveness of omega-Context-Free Languages.
Inf. Process. Lett., 1991

1990
Tight Bounds for Weakly Bounded Protocols.
Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990

1989
Polynomial Space Counting Problems.
SIAM J. Comput., 1989

Computer Accessibility For Federal Workers With Disabilities: It's The Law.
Commun. ACM, 1989

Training Connectionist Networks with Queries and Selective Sampling.
Proceedings of the Advances in Neural Information Processing Systems 2, 1989

1988
Probabilistic Game Automata.
J. Comput. Syst. Sci., 1988

Public Law 99-506, "Section 508" Electronic Equipment Accessibility for disabled workers.
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 1988

1987
Estimating the multiplicities of conflicts to speed their resolution in multiple access channels.
J. ACM, 1987

A user interface for deaf-blind people (preliminary report).
Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface, 1987

1986
The Logic of Distributed Protocols.
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

1985
Solitaire Automata.
J. Comput. Syst. Sci., 1985

1984
Concurrency Control In a Dynamic Search Structure.
ACM Trans. Database Syst., 1984

Alternating Pushdown and Stack Automata.
SIAM J. Comput., 1984

Alternation Bounded Auxiliary Pushdown Automata
Inf. Control., 1984

A Large Font Virtual Terminal Interface, A Software Prothesis for Visually Impaired.
Commun. ACM, 1984

Networks for Deaf-Blind People.
Proceedings of the COMPCON'84, Digest of Papers, Twenty-Eighth IEEE Computer Society International Conference, San Francisco, California, USA, February 27, 1984

1983
Binary Search in a Multiprocessing Environment.
IEEE Trans. Computers, 1983

Estimating the Multiplicities of Conflicts in Multiple Access Channels (Preliminary Report)
Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983

1982
Efficient Parallel Algorithms for Linear Recurrence Computation.
Inf. Process. Lett., 1982

1980
The Complexity of Problems in Systems of Communicating Sequential Processes.
J. Comput. Syst. Sci., 1980

Parallel Prefix Computation.
J. ACM, 1980

Testing the Universal Instance Assumption.
Inf. Process. Lett., 1980

1979
Propositional Dynamic Logic of Regular Programs.
J. Comput. Syst. Sci., 1979

The Complexity of Problems in Systems of Communicating Sequential Processes (Extended Abstract)
Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30, 1979

1978
Alternating Pushdown Automata (Preliminary Report)
Proceedings of the 19th Annual Symposium on Foundations of Computer Science, 1978

1977
Application of Model Theoretic Games to Discrete Linear Orders and Finite Automata
Inf. Control., April, 1977

The Computational Complexity of Provability in Systems of Modal Propositional Logic.
SIAM J. Comput., 1977

Propositional Modal Logic of Programs (Extended Abstract)
Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 1977

1976
Relativization of Questions About Log Space Computability.
Math. Syst. Theory, 1976

1975
A Comparison of Polynomial Time Reducibilities.
Theor. Comput. Sci., 1975

The circuit value problem is log space complete for <i>P</i>.
SIGACT News, 1975

Space Bounds for Processing Contentless Inputs.
J. Comput. Syst. Sci., 1975

On the Structure of Polynomial Time Reducibility.
J. ACM, 1975

1974
Comparisons of Polynomial-Time Reducibilities
Proceedings of the 6th Annual ACM Symposium on Theory of Computing, April 30, 1974

1973
Mitotic Recursively Enumerable Sets.
J. Symb. Log., 1973

Polynomial Time Reducibility
Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30, 1973


  Loading...