Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract).
Michael BaldamusJürgen DingelPublished in: TAPSOFT (1997)
Keyphrases
- extended abstract
- higher order
- high order
- natural images
- pairwise
- low order
- markov random field
- process model
- social networks
- decision making
- website
- modal logic
- conditional random fields
- lambda calculus
- databases
- markov models
- random walk
- artificial neural networks
- similarity measure
- image processing
- computer vision
- learning algorithm
- data mining