12015 search results - page 597 / 2403 » Interactive Algorithms 2005 |
161
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
Partial order (PO) reduction methods are widely employed to combat state explosion during model-checking. In this paper, we develop a partial order reduction algorithm for rule-bas...
165
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes a hybrid approach to solving large-scale constraint satisfaction and optimization problems. It describes a hybrid algorithm for integer linear programming whic...
171
click to vote
ICS
2005
Tsinghua U.
15 years 12 months ago
2005
Tsinghua U.
We present a cache oblivious algorithm for stencil computations, which arise for example in finite-difference methods. Our algorithm applies to arbitrary stencils in n-dimension...
153
click to vote
ISSAC
2005
Springer
15 years 12 months ago
2005
Springer
Over the past few decades several variations on a “half GCD” algorithm for obtaining the pair of terms in the middle of a Euclidean sequence have been proposed. In the integer...
187
click to vote
CRV
2005
IEEE
15 years 8 months ago
2005
IEEE
A novel algorithm is introduced that can detect the presence of interpolation in images prior to compression as well as estimate the interpolation factor. The interpolation detect...