Sciweavers

798 search results - page 5 / 160
» Interval Methods: An Introduction
Sort
View
SAS
2009
Springer
162views Formal Methods» more  SAS 2009»
14 years 8 months ago
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
Polyhedra: An Abstract Domain to Infer Interval Linear Relationships Liqian Chen1,2 , Antoine Min?e2,3 , Ji Wang1 , and Patrick Cousot2,4 1 National Laboratory for Parallel and Dis...
Antoine Miné, Ji Wang, Liqian Chen, Patrick...
GLVLSI
1998
IEEE
119views VLSI» more  GLVLSI 1998»
13 years 12 months ago
A Combined Interval and Floating Point Multiplier
Interval arithmetic provides an e cient method for monitoring and controlling errors in numerical calculations. However, existing software packages for interval arithmetic are oft...
James E. Stine, Michael J. Schulte
IVCNZ
1998
13 years 9 months ago
Interval Computations in Computer Vision
: Interval arithmetic is a method for performing computations on measurements that are only known to within a xed error range. As the measurements are combined mathematically, thei...
Steven Mills, Kevin Novins
COMPUTING
2006
102views more  COMPUTING 2006»
13 years 7 months ago
A Reliable Area Reduction Technique for Solving Circle Packing Problems
Abstract We are dealing with the optimal, i.e. densest packings of congruent circles into the unit square. In the recent years we have built a numerically reliable, verified method...
Mihály Csaba Markót, Tibor Csendes
RC
1998
72views more  RC 1998»
13 years 7 months ago
Interval + Image = Wavelet: For Image Processing under Interval Uncertainty, Wavelets Are Optimal
In computer and electronic manufacturing, it is very important to be able to automatically check whether the surface mounted devices (SMD) are correctly placed on the printed circ...
Alejandro E. Brito, Olga Kosheleva