17450 search results - page 3103 / 3490 » Numerical Methods with Applications |
177
click to vote
ENGL
2007
15 years 6 months ago
2007
—Curvelets denoise approach has been widely used in many fields for its ability to obtain high quality result images. However artifacts those appear in the result images of curve...
188
click to vote
ENTCS
2007
15 years 6 months ago
2007
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
147
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we introduce the notion of approximate implementations for Probabilistic I/O Automata (PIOA) and develop methods for proving such relationships. We employ a task str...
187
click to vote
ENTCS
2007
15 years 6 months ago
2007
Automated deduction methods should be specified not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, di...
173
Voted
JSA
2006
15 years 6 months ago
2006
Execution-driven simulation has become the primary method for evaluating architectural techniques as it facilitates rapid design space exploration without the cost of building pro...