Browsing by Subject "Computer metatheory"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item Open Access Heterogeneous inference in design(Publ by ASME, New York, NY, United States, 1992) Akman, VarolFor those of us involved in the attempt to construct formal models and environments in which the world of design can be subjected to scientific experimentation, the raison d'etre of logic has been rather well-understood. The aim of this position paper is not really to challenge this view but rather to complement and extend it. Specifically, we discuss why heterogeneous inference - inference that proceeds from information represented in more than one form - is crucial.Item Open Access Some results on zero-error capacity under list decoding(IEEE, 1990) Arıkan, ErdalSummary form only given. A number of questions recently raised by Elias regarding a zero-error list-of-L code have been addressed. It has been shown that computing the zero-error capacity of the channel with feedback is NP-complete, and bounds on the size of the code have been obtained.