Canonical Functions: a proof via topological dynamics.

Manuel Bodirsky Michael Pinsker

Published in: CoRR (2016)

Keyphrases

dynamical systems
dynamic model
theorem proving
database
real time
image processing
image segmentation
objective function
search algorithm
probabilistic model
inference rules
initial conditions
highly nonlinear
linear logic