Linear bounded automaton

Known as: LBA, LBA compete, LBA-compete 
In computer science, a linear bounded automaton (plural linear bounded automata, abbreviated LBA) is a restricted form of Turing machine.
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Masking is a well-known countermeasure to protect block cipher implementations against side-channel attacks. The principle is to… (More)
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Bidimensionality theory appears to be a powerful framework in the development of meta-algorithmic techniques. It was introduced… (More)
  • figure 1
Is this relevant?
Highly Cited
2009
Highly Cited
2009
We present a family of adaptive pairwise tournaments that are provably robust against large error fractions when used to… (More)
  • figure 1
Is this relevant?
2007
2007
In this paper, the problems of stochastic disturbance attenuation and asymptotic stabilization via output feedback are… (More)
Is this relevant?
2006
2006
Abstract. The understanding of adaptive algorithms for SDEs is an open area where many issues related to both convergence and… (More)
  • figure 7.1
  • figure 7.2
  • figure 9.3
  • figure 9.4
  • figure 9.5
Is this relevant?
2006
2006
Optimization of a similarity metric is an essential component in intensity-based medical image registration. The increasing… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We present stability results for unconstrained discrete-time nonlinear systems controlled using finite-horizon model predictive… (More)
  • table I
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Most previous redundancy elilmination algorithms have been of two kinds. The lexical algorithms deal with the entire program, but… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1987
Highly Cited
1987
This paper addresses the problem of how to adapt an algorithm designed for fixed topology networks to produce the intended… (More)
  • figure 2
Is this relevant?