The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Our approach to improve the search of a theorem prover employs empirical knowledge gained from former proofs. A connectionist network is used to learn heuristics which order the choices at nondeterministic branch-points. This is done by estimating their relative chance for leading to a shortest proof. Using the method it was possible to reduce the search effort required by a high speed theorem prover...
Genetic Programming requires that all functions/terminals (tree labels) be given a priori. In the absence of specific information about the solution, the user is often forced to provide a large set, thus enlarging the search space — often resulting in reducing the search efficiency. Moreover, based on heuristics, syntactic constraints, or data typing, a given subtree may be undesired or invalid in...
One-size-fits-all educational innovations do not work because they ignore contextual factors that determine an intervention’s efficacy in a particular local situation. Identifying variables within the intervention’s setting that represent important conditions for success and summarizing the extent to which the impact of the intervention is attenuated by variation in them can provide prospective adopters...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.