Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems.

Bart Vergauwen Johan Lewi

Published in: ICALP (1994)

Keyphrases

learning systems
neural network
real valued
complex systems
database
management system
data model
computing systems
computationally expensive
retrieval systems
computationally efficient
mobile devices
data structure
image processing
social networks
artificial intelligence
data mining
data sets