86 search results - page 18 / 18 » Constructive Data Refinement in Typed Lambda Calculus |
FASE
2006
Springer
13 years 9 months ago
2006
Springer
Techniques for inferring a regular language, in the form of a finite automaton, from a sufficiently large sample of accepted and nonaccepted input words, have been employed to cons...