5619 search results - page 66 / 1124 » A Region Inference Algorithm |
SCALESPACE
1999
Springer
15 years 4 months ago
1999
Springer
Since the work by Osher and Sethian on level-sets algorithms for numerical shape evolutions, this technique has been used for a large number of applications in numerous fields. In...
110
click to vote
CADE
2011
Springer
14 years 15 days ago
2011
Springer
This paper describes two algorithms for the compression of propositional resolution proofs. The first algorithm, RecyclePivotsWithIntersection, performs partial regularization, re...
96
Voted
MICRO
2005
IEEE
15 years 6 months ago
2005
IEEE
The performance of a dynamic optimization system depends heavily on the code it selects to optimize. Many current systems follow the design of HP Dynamo and select a single interp...
115
click to vote
JOTA
2011
14 years 3 months ago
2011
Given an algorithm A for solving some mathematical problem based on the iterative solution of simpler subproblems, an Outer Trust-Region (OTR) modification of A is the result of ...
126
Voted
SAS
1994
Springer
15 years 4 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...