PAPE: AN ON-LINE SYSTEM FOR INFERING PROCEDURES FROM SETS OF THEIR TRACES ABSTRACT

Many learning-by-example problems can be viewed as infering structured non recursive procedures from sets of their traces knowing the basic functions and predicates, used to write them. The on-line system PAPE does this as follows, an example (data ♦ trace) is given. PAPE first checks whether the already learned procedure gives the same trace with the given input data. If not, the trace is transformed into a procedure body (in 0(t p) time, where t it is the length of the trace, and, p an integer depending upon the procedure and the basic functions and predicates), and then merges this body with the actual one to get the new procedure body.

Mesures sur le logiciel. La complexite structurelle selon McCabe

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Approximation By The Finite Volume Method Of An Elliptic-Parabolic Equation Arising In Environmental Studies

this paper, we consider another approach in the modelling of water ow through soils; it consists in introducing the hydraulic charge u, de ned by u(x; t) = p(x; t) g z(x) for all (x; t) (0; T ); for all T > 0; (1.4) where g denotes the modulus of g and the function z(x) is the projection of point x on the vertical axis, oriented by g=

Les ondelettes Exposition, Saint Martin d'Heres, 27 janvier 1994

Available at INIST (FR), Document Supply Service, under shelf-number : YM 6572 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Impedance d'un four a induction: definition, theorie et calcul

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Vers un outil d'aide a la programmation des applications interactives de saisie

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Formulation de la loi cyclique de J.C. Hujeux relative au comportement tridimensionnel des sols

SIGLECNRS RP 270 (192) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc