Keyphrases
- hough transform
- video games
- theorem prover
- theorem proving
- computer games
- nash equilibria
- game play
- error correction
- game design
- game playing
- human computation
- decision procedures
- perfect information
- game theory
- microstrip antenna
- weighted majority
- natural deduction
- harmonic functions
- learning games
- data hiding
- game development
- digital games
- game based learning
- neural network
- incomplete information
- image processing