Spatial Coupling as a Proof Technique

Andrei Giurgiu Nicolas Macris Rüdiger L. Urbanke

Published in: CoRR (2013)

Keyphrases

spatial data
spatial information
spatio temporal
spatial and temporal
data sets
databases
spatial databases
spatial reasoning
theorem proving
real time
spatial temporal
feature selection
spatial correlation
spatial analysis
spatial data mining
linear logic
proof theory