Verification of Higher-Order Computation: A Game-Semantic Approach.
C.-H. Luke OngPublished in: ESOP (2008)
Keyphrases
- higher order
- high order
- natural images
- lower order
- game playing
- semantic web
- semantic information
- game theory
- video games
- computer games
- model checking
- natural language
- conditional random fields
- semantic annotation
- pairwise
- semantic web technologies
- semantic relationships
- semantic search
- markov random field
- e learning
- domain specific
- semantic similarity
- game theoretic
- face verification
- formal verification
- cooperative