Since the IETF “TCPSAT” Working Group was chartered in 1997, numerous issues with TCP over satellite have been addressed. Although the difficulties encountered are the same, ...
Interval arithmetic provides an e cient method for monitoring and controlling errors in numerical calculations. However, existing software packages for interval arithmetic are oft...
ls of abstraction which make up a graphical user interface. The Power of GUIs For much of their history, computers have been capable of presenting only textual and numeric data to ...
W. Keith Edwards, Elizabeth D. Mynatt, Kathryn Sto...
In this paper, we analyse mathematical properties of spatial optical-flow computation algorithm. First by numerical analysis, we derive the convergence property on variational opti...
This paper discusses how numerically imprecise information can be modelled and how a risk evaluation process can be elaborated by integrating procedures for numerically imprecise ...