An Open Approach for the Applied Pi Calculus.

Han Zhu Yonggen Gu Xiaohong Wu

Published in: J. Softw. (2008)

Keyphrases

real time
learning algorithm
real world
artificial intelligence
case study
multiscale
search algorithm