15 search results - page 3 / 3 » deductive 1992 |
KI
1992
Springer
13 years 9 months ago
1992
Springer
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...
MVA
1992
13 years 6 months ago
1992
Thls paper proposes a new perceptual approach to noisy X-ray image segmentation. It consistsof the five major step :(1)Pre -segmentation, (2)Improved region growing, (3 ) Object de...
AAAI
1992
13 years 6 months ago
1992
An intelligent agent uses known facts, including statistical knowledge, to assign degrees of belief to assertions it is uncertain about. We investigate three principled techniques...
LPNMR
1990
Springer
13 years 9 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
CASCON
1992
13 years 6 months ago
1992
Metaprogramming is the process of specifying generic software source templates from which classes of software components, or parts thereof, can be automatically instantiated to pr...