On Decidability of the Bisimilarity on Higher-order Processes with Parameterization.
Xian XuWenbo ZhangPublished in: EXPRESS/SOS (2021)
Keyphrases
- higher order
- natural images
- high order
- lower order
- low order
- pairwise
- information retrieval
- neural network
- probabilistic model
- description logics
- markov random field
- query processing
- computational model
- information technology
- query answering
- computational models
- stochastic processes
- data structure
- decision procedures