Model M keyboard

Known as: Enhanced Keyboard, IBM Model M Keyboard, Clickety-clack keyboard 
Model M is a designation for a group of computer keyboards manufactured by IBM starting in 1984, and later by Lexmark, Unicomp and MaxiSwitch. The… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
Incremental learning refers to learning from streaming data, which arrive over time, with limited memory resources and, ideally… (More)
Is this relevant?
Highly Cited
2015
Highly Cited
2015
νZ is a part of the SMT solver Z3. It allows users to pose and solve optimization problems modulo theories. Many SMT applications… (More)
  • figure 2
  • figure 5
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2011
Highly Cited
2011
SUMMARY In most examples of inference and prediction, the expression of uncertainty about unknown quantities y on the basis of… (More)
  • figure 8
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We have previously tried to explain perceptual inference and learning under a free-energy principle that pursues Helmholtz’s… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
Inverse problem theory deals with the problem of inferring p roperties of the subsurface based on indirect physical measurements… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2005
Highly Cited
2005
The verification problem for a system consisting of components can be decomposed into simpler subproblems for the components… (More)
  • figure 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The assumption of demographic closure in the analysis of capture-recapture data under closed-population models is of fundamental… (More)
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2001
Highly Cited
2001
When estimates of variances are used to make asset allocation decisions, underestimates of population variances lead to lower… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The purpose is to arrive at recognition of multicolored objects invariant to a substantial change in viewpoint, object geometry… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Propositional logic formulas containing implications can suffer from antecedent failure, in which the formula is true trivially… (More)
Is this relevant?