Decision Problems and Round-Off Machines

被引：0
|
作者：
F. Cucker
J. -P. Dedieu
机构：
[1] Department of Mathematics,
[2] City University of Hong Kong,undefined
[3] macucker@math.cityu.edu.hk,undefined
[4] MIP-Département de Mathématique,undefined
[5] Université Paul Sabatier,undefined
[6] dedieu@mip.ups-tlse.fr,undefined
来源：
Theory of Computing Systems | 2001年 / 34卷
关键词：
Decision Problem; SIAM Journal; Finite Precision; Exact Arithmetic; Failure Message;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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?
引用
收藏
页码：433 / 452
页数：19
相关论文
共 50 条
  • [31] An estimate for the round-off error in the elimination problem
    Rodnikov A.O.
    Samokish B.A.
    Journal of Mathematical Sciences, 2007, 141 (6) : 1678 - 1689
  • [32] ROUND-OFF ANALYSIS OF THE WZ MATRIX FACTORIZATION METHOD
    YALAMOV, P
    EVANS, DJ
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1994, 53 (1-2) : 61 - 81
  • [33] ROUND-OFF ERROR IN THE NUMERICAL SOLUTION OF THE HEAT EQUATION
    DOUGLAS, J
    JOURNAL OF THE ACM, 1959, 6 (01) : 48 - 58
  • [34] Bounding the Round-Off Error of the Upwind Scheme for Advection
    Ben Salem-Knapp, Louise
    Boldo, Sylvie
    Weens, William
    IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING, 2022, 10 (03) : 1253 - 1262
  • [35] CADNA:: a library for estimating round-off error propagation
    Jezequel, Fabienne
    Chesneaux, Jean-Marie
    COMPUTER PHYSICS COMMUNICATIONS, 2008, 178 (12) : 933 - 955
  • [36] STOCHASTIC METHODS IN ROUND-OFF ERROR ANALYSIS - FOREWORD
    VIGNES, J
    MATHEMATICS AND COMPUTERS IN SIMULATION, 1988, 30 (06) : 479 - 479
  • [37] Round-off stability for multi-valued maps
    Singh, Shyam Lal
    Mishra, Swami Nath
    Jain, Sarika
    FIXED POINT THEORY AND APPLICATIONS, 2012,
  • [38] CONTROL OF ROUND-OFF PROPAGATION IN ARTICULATING THE HUMAN FIGURE
    HERBISONEVANS, D
    RICHARDSON, DS
    COMPUTER GRAPHICS AND IMAGE PROCESSING, 1981, 17 (04): : 386 - 393
  • [39] Finding Round-Off Error Using Symbolic Execution
    Anh-Hoang Truong
    Huy-Vu Tran
    Bao-Ngoc Nguyen
    KNOWLEDGE AND SYSTEMS ENGINEERING (KSE 2013), VOL 1, 2014, 244 : 415 - 428
  • [40] ROUND-OFF ERRORS IN INTER-EXPERIMENTAL COMPARISONS
    TAYLOR, R
    KENNARD, O
    ACTA CRYSTALLOGRAPHICA SECTION A, 1985, 41 (MAR): : 122 - 128
12345