2843 search results - page 332 / 569 » Interpolation by geometric algorithm |
ESA
2001
Springer
15 years 3 months ago
2001
Springer
Real algebraic expressions are expressions whose leaves are integers and whose internal nodes are additions, subtractions, multiplications, divisions, k-th root operations for int...
CAV
1998
Springer
15 years 3 months ago
1998
Springer
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
103
click to vote
COMPGEOM
2007
ACM
15 years 3 months ago
2007
ACM
We show how to embed a 3-connected planar graph with n vertices as a 3-polytope with small integer coordinates. The coordinates are bounded by O(27.55n ). The crucial part is the ...
DAC
1995
ACM
15 years 2 months ago
1995
ACM
This paper presents a direct performance-driven placement algorithm for analog integrated circuits. The performance speci cations directly drive the layout tools without intermedi...
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
Reliable and generic methods for skew detection are a necessity for any large-scale digitization projects. As one of the first processing steps, skew detection and correction has...