Results 261 to 270 of about 5,714,792 (303)

Experiments on Theory Refinement

2002
In this chapter, we apply the C-IL2P system to two problems of DNA classification, which have become benchmark data sets for testing the accuracy of machine learning systems. We compare the results obtained by different neural, symbolic and hybrid inductive learning systems.
Artur S. d’Avila Garcez, Krysia B. Broda, Dov. M. Gabbay   +2 more
openaire   +1 more source

A Refined Centering Theory

2020
This chapter presents a thorough introduction to Centering Theory. Centering Theory is a computational semantic theory concerned with local coherence and semantic entity salience. It differentiates various levels of discourse units, such as center, utterance, and discourse segments, within a given discourse.
openaire   +1 more source

Theory and Algorithm for Rule Base Refinement

2007
Rule base refinement plays an important role in enhancing the efficacy and efficiency of utilizing a rule base. A rule base concerns three types of redundancies: implication-rule redundancy, abstraction-rule redundancy and dead-end-condition redundancy.
Hai Zhuge, Yunchuan Sun, Weiyu Guo
openaire   +2 more sources

A Theory of Data Refinement

1997
Examples of both program and data refinement have been shown. We would like to be able to choose at each refinement stage whether to do algorithmic or data refinement. The rules for data refinement given so far only allow specifications to be refined; to develop executable code it is necessary to do all the data refinement first followed by the ...
openaire   +1 more source

Refinements in XAFS Theory

SPIE Proceedings, 1986
Refinements in the theory of XAFS (x-ray absorption fine structure) are discussed. These include spherical wave corrections and multiple scattering contributions. The conventional theory, with these refinements included, can be recovered using effective scattering amplitudes, appropriate Debye-Waller factors, and many-body amplitude reduction factors.
openaire   +1 more source

ON THE THEORY OF EVAPORATION REFINING

Problems of Atomic Science and Technology
The theory of sublimation and distillation refining, which takes into account the diffusion of impurities, is considered. The conceptual nature of the theory is noted due to the large number of parameters whose values are unknown.
openaire   +1 more source

A theory of program refinement.

2004
We give a canonical program refinement calculus based on the lambda calculus and classical first-order predicate logic, and study its proof theory and semantics. The intention is to construct a metalanguage for refinement in which basic principles of program development can be studied.
openaire   +1 more source

A Refinement of the Linearized Transonic Flow Theory

Journal of the Physical Society of Japan, 1960
A new method is proposed to calculate the velocity and pressure distributions around a thin symmetrical aerofoil or a slender body of revolution flying at transonic speed. It is essentially a refinement of the linearized transonic flow theory due to Oswatitsch and Maeder, such that a correction term is introduced to take account of the nonlinear ...
openaire   +2 more sources

CSL Theory Refinements

Abstract Since the Hilbert space for state vectors describing Nature is, of course, of higher dimension than two, generalization of the state vector evolution equation given in the previous chapter is needed. It is explained why the Brownian motion function needs to be replaced by its time derivative, that is, white noise w(t).
openaire   +1 more source

A refined theory of counterfactuals

Journal of Philosophical Logic, 1981
openaire   +2 more sources