Typing

Known as: Typewriting, Hunt and peck typing, Typed 
Typing is the process of writing or inputting text by pressing keys on a typewriter, computer keyboard, cell phone, or calculator. It can be… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1936-2017
020040019362016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2004
Highly Cited
2004
As the deficiencies of traditional password-based access systems become increasingly acute, researchers have turned their focus… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Multi-locus sequence typing (MLST) is a method of typing that facilitates the discrimination of microbial isolates by comparing… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
An experienced user of the Twiddler, a one--handed chording keyboard, averages speeds of 60 words per minute with letter--by… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Eye typing provides a means of communication for severely handicapped people, even those who are only capable of moving their… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 7
  • figure 8
Is this relevant?
Highly Cited
1998
Highly Cited
1998
We motivate the design of typed assembly language (TAL) and present a type-preserving ttranslation from Systemn F to TAL. The… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We develop principles and rules for achieving secrecy properties in security protocols. Our approach is based on traditional… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
The-calculus is a process algebra that supports process mobility by focusing on the communication of channels. Milner's… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
One of the attractive features of keyboards is that they support novice as well as expert users. Novice users enter text using… (More)
  • figure 1
  • figure 2
  • table 2
  • table 1
  • table 3
Is this relevant?
Highly Cited
1992
Highly Cited
1992
This paper presents a program transformation that allows languages with polymorphic typing (e.g. ML) to be implemented with… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Type systems are designed to prevent the improper use of program operations. They can be classified as either static or dynamic… (More)
  • figure 2
  • figure 1
  • figure 3
Is this relevant?