Affine systems of equations and counting infinitary logic.

Albert Atserias Andrei A. Bulatov Anuj Dawar

Published in: Theor. Comput. Sci. (2009)

Keyphrases

complex systems
asynchronous circuits
machine learning
linear systems
bayesian networks
affine invariant
computer systems
digital circuits
numerical solution
mathematical model
knowledge based systems
data sets
distributed systems
image segmentation
knowledge base
learning algorithm
neural network