Variable Precision Logic
Variable precision logic is concerned with problems of reasoning with incomplete information and under time constraints. It offers mechanisms for handling trade-offs between the precision of inferences and the computational efficiency of deriving them. Of the two aspects of precision, the spec...
Main Authors: | Michalski, Ryszard S., Winston, Patrick H. |
---|---|
Language: | en_US |
Published: |
2004
|
Online Access: | http://hdl.handle.net/1721.1/6428 |
Similar Items
-
Variables as Resource in Separation Logic
by: Bornat, R, et al.
Published: (2006) -
Entanglement witnesses with variable number of local measurements
by: Laskowski, Wiesław, et al.
Published: (2014) -
Verification of two-variable logic revisited
by: Benedikt, M, et al.
Published: (2012) -
The effect of surface roughness on the precision of the encapsulated fixturing system
by: Fan, Winston Chi Hang, 1975-
Published: (2014) -
FPGA implementation of variable precision Euclid’s GCD algorithm
by: Al-Haija, Qasem Abu, et al.
Published: (2017)