6110 search results - page 123 / 1222 » Approximate Computing |
147
click to vote
FOCS
2007
IEEE
16 years 22 days ago
2007
IEEE
We show for several planar and geometric problems that the best known approximation schemes are essentially optimal with respect to the dependence on ǫ. For example, we show that...
251
click to vote
GIS
2003
ACM
16 years 7 months ago
2003
ACM
We present a technique for creating a digital elevation model (DEM) from grid-based contour data. The method computes new, intermediate contours in between existing isolines. Thes...
136
click to vote
AMC
2010
15 years 6 months ago
2010
The paper deals with the numerical solution of inverse Sturm-Liouville problems with unknown potential symmetric over the interval [0, ]. The proposed method is based on the use o...
152
Voted
TACAS
2005
Springer
15 years 12 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
141
click to vote
ALGORITHMICA
2010
15 years 6 months ago
2010
Abstract. This paper presents algorithms whose input is an undirected graph, and whose output is a tree decomposition of width that approximates the optimal, the treewidth of that ...