Login / Signup

Comparing cospan-spans and tiles via a Hoare-style process calculus.

Fabio GadducciPiergiulio KatisUgo MontanariNicoletta SabadiniRobert F. C. Walters
Published in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
  • process model
  • development process
  • database
  • databases
  • information retrieval
  • learning algorithm
  • multiresolution
  • medical images