Reasoning about Procedures as Parameters in the Language L4

Steven M. German Edmund M. Clarke Joseph Y. Halpern

Published in: Inf. Comput. (1989)

Keyphrases

parameter estimation
parameter selection
natural language
programming language
maximum likelihood
image segmentation
language learning
general purpose
image sequences
parameter values
parameter settings
language processing
input parameters
object oriented programming
genetic algorithm
fine tuning
modal operators