An equational theory for weak bisimulation via generalized parameterized coinduction.
Yannick ZakowskiPaul HeChung-Kil HurSteve ZdancewicPublished in: CPP (2020)
Keyphrases
- theoretical framework
- equational theories
- neural network
- learning algorithm
- artificial intelligence
- general theory
- theorem proving
- information technology
- information theory
- artificial neural networks
- formal theory
- logic programming
- special case
- evolutionary algorithm
- database
- face recognition
- multimedia
- computer vision
- real time