Login / Signup

The Query Complexity of Program Checking by Constant-Depth Circuits.

Vikraman ArvindK. V. SubrahmanyamN. V. Vinodchandran
Published in: ISAAC (1999)
Keyphrases
  • query complexity
  • data complexity
  • membership queries
  • active learning
  • response time
  • inductive logic programming
  • vc dimension