Decision problems and round-off machines
Research output: Journal Publications and Reviews (RGC: 21, 22, 62) › 21_Publication in refereed journal › peer-review
Author(s)
Related Research Unit(s)
Detail(s)
Original language | English |
---|---|
Pages (from-to) | 433-452 |
Journal / Publication | Theory of Computing Systems |
Volume | 34 |
Issue number | 5 |
Publication status | Published - Sept 2001 |
Link(s)
Abstract
We study the behavior of decision machines working with finite precision. We give answers to the following questions: (A) under which conditions is the answer provided by the machine correct? and (B) under which conditions does there exist an element y close to the input x such that the decision for x obtained with finite precision coincides with that for y under infinite precision?
Citation Format(s)
Decision problems and round-off machines. / Cucker, F.; Dedieu, J. P.
In: Theory of Computing Systems, Vol. 34, No. 5, 09.2001, p. 433-452.
In: Theory of Computing Systems, Vol. 34, No. 5, 09.2001, p. 433-452.
Research output: Journal Publications and Reviews (RGC: 21, 22, 62) › 21_Publication in refereed journal › peer-review