Keyphrases
- fixed point
- default logic
- expressive power
- sufficient conditions
- modal logic
- floating point
- dynamical systems
- finite state
- fixed point theorem
- bargaining solution
- belief propagation
- variational inequalities
- free energy
- constraint databases
- game theory
- active contours
- search space
- three dimensional
- image processing
- computer vision