Login / Signup

Using bisimulation proof techniques for the analysis of distributed abstract machines.

Damien Pous
Published in: Theor. Comput. Sci. (2008)
Keyphrases
  • artificial intelligence
  • lightweight
  • high level
  • data analysis
  • database
  • neural network
  • learning algorithm
  • decision making
  • knowledge base
  • website
  • multi agent
  • image analysis
  • data model
  • peer to peer
  • statistical analysis