Login / Signup

The definition and validation of the radix sorting technique.

John A. N. Lee
Published in: Proving Assertions About Programs (1972)
Keyphrases
  • case study
  • fourier transform
  • artificial intelligence
  • database systems
  • multiscale
  • optimal solution
  • support vector
  • floating point