Procedural parameter

In computing, a procedural parameter is a parameter of a procedure that is itself a procedure. This concept is an extremely powerful and versatile… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
We propose a novel information-theoretic approach for Bayesian optimization called Predictive Entropy Search (PES). At each… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Semi-Lagrangian (SL) methods have been very popular in the Vlasov simulation community [28, 2, 3, 18, 31, 4, 23, 25]. In this… (More)
  • figure 3.1
  • figure 3.2
  • table 5.1
  • table 5.2
  • figure 5.1
Is this relevant?
Highly Cited
2008
Highly Cited
2008
In this work, we introduce one-time programs, a new computational paradigm geared towards security applications. A one-time… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
The past few years have seen an enormous progress in the performance of Boolean satisfiability (SAT) solvers. Despite the worst… (More)
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
  • figure 2.5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
The availability of cheap and abundant molecular markers in maize (Zea mays L.) has allowed breeders to ask how molecular markers… (More)
  • figure 1
  • table 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Users may download and print one copy of any publication from the public portal for the purpose of private study or research You… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2004
2004
We consider quantum versions of two well-studied models of learning Boolean functions: Angluin’s model of exact learning from… (More)
Is this relevant?
2004
2004
Many automated learning procedures lack interpretability, operating effectively as a black box: providing a prediction tool but… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2002
2002
Ground decision procedures for combinations of theories are used in many systems for automated deduction. There are two basic… (More)
  • figure 2
Is this relevant?
Highly Cited
1998
Highly Cited
1998
In many engineering optimization problems, the number of function evaluations is severely limited by time or cost. These problems… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?