On the Time-Bandwidth Proof in VLSI Complexity.

Yaser S. Abu-Mostafa

Published in: IEEE Trans. Computers (1987)

Keyphrases

computational complexity
theorem proving
high speed
signal processing
space complexity
data sets
information retrieval
mobile devices
worst case
response time
low cost
image quality
decision problems
theorem prover