Symbolic bisimulation for quantum processes

Yuan Feng Yuxin Deng Mingsheng Ying

Published in: CoRR (2012)

Keyphrases

high level
intermediate level
artificial intelligence
real world
information retrieval
image processing
multi agent
artificial neural networks
hidden markov models
process model
symbolic data
quantum computation
probability ranking principle