# Affine arithmetic

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

2014

- Archive of Formal Proofs
- 2014

We give a formalization of affine forms [1, 2] as abstract representations of zonotopes. We provide affine operations as well asâ€¦Â (More)

Is this relevant?

2010

2010

- IEEE Transactions on Power Systems
- 2010

Power flow studies are typically used to determine the steady state or operating conditions of power systems for specified setsâ€¦Â (More)

Is this relevant?

2006

2006

- The Visual Computer
- 2006

A method is presented for ray casting implicit surfaces defined by fractal combinations of procedural noise functions. The methodâ€¦Â (More)

Is this relevant?

2005

2005

- Proceedings. 42nd Design Automation Conference, .
- 2005

MiniBit, our automated approach for optimizing bit-widths of fixed-point designs is based on static analysis via affineâ€¦Â (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- Numerical Algorithms
- 2004

Affine arithmetic is a model for self-validated numerical computation that keeps track of first-order correlations betweenâ€¦Â (More)

Is this relevant?

2004

2004

- Numerical Algorithms
- 2004

In interval computations, the range of each intermediate result r is described by an interval r. To decrease excess intervalâ€¦Â (More)

Is this relevant?

2004

2004

- Proceedings Design, Automation and Test in Europeâ€¦
- 2004

This paper describes a framework for the refinement of control and signal processing functions. The design starts with anâ€¦Â (More)

Is this relevant?

2003

2003

- 2003

Affine arithmetic (AA) is a model for self-validated computation which, like standard interval arithmetic (IA), producesâ€¦Â (More)

Is this relevant?

2003

2003

- IMA Conference on the Mathematics of Surfaces
- 2003

In this paper we give mathematical proofs of two new results relevant to evaluating algebraic functions over a box-shaped regionâ€¦Â (More)

Is this relevant?

1997

1997

- SIGGRAPH Visual Proceedings
- 1997

Procedural shaders have become popular tools for describing surface reflectance functions and other material properties. Inâ€¦Â (More)

Is this relevant?