Applying a testing approach to the Calculus of Fair Ambients.

Xiaojuan Cai Han Zhu

Published in: Int. J. Comput. Math. (2009)

Keyphrases

machine learning
case study
test cases
multi unit combinatorial auctions
database
real time
neural network
artificial intelligence
website
video sequences
training set
formal language
sequent calculus