Interval arithmetic: From principles to implementation

By T. Hickey, Qun Ju, M. H. Emden. JACM, 2001

399 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/b5c163acdfcab6534bc41c8094e37c51294c9dc3

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Philip H. S. Torr
2. Pushmeet Kohli
3. Ilker Turkaslan
4. Rudy Bunel
5. Armando Tacchella
6. Luca Pulina

In Computer Networks and Communications

1. Philip H. S. Torr
2. Pushmeet Kohli
3. Rudy Bunel
4. Luca Pulina
5. Armando Tacchella

Citations in the corpus

• Efficient Subwindow Search: A Branch and Bound Framework for Object Localization (2009, neutral): “They are, therefore, not the best choice for the detection of object classes which have characteristic geometric arrangements, e.g., cars or buildings .”
• Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure (2006, background): “There is extensive literature [22, 15] providing precise formulae for interval arithmetic for addition, subtraction, multiplication, division, and the most common transcendental functions.”
• A Unified View of Piecewise Linear Neural Network Verification (2017, methodology): “By taking advantage of the feed-forward structure of the neural network, lower and upper bounds li and ui can be obtained by applying interval arithmetic [9] to propagate the bounds on the inputs, one layer at a time.”