1421 search results - page 98 / 285 » Algorithms for subsequence combinatorics |
146
click to vote
IBPRIA
2005
Springer
15 years 10 months ago
2005
Springer
Condensation is a widely-used tracking algorithm based on particle filters. Although some results have been achieved, it has several unpleasant behaviours. In this paper, we highl...
128
click to vote
PEPM
1994
ACM
15 years 8 months ago
1994
ACM
The performance of object-oriented languages can be greatly improved if methods can be specialized for particular classes of arguments. Such specialization can provide the compile...
149
click to vote
MPC
1992
Springer
15 years 8 months ago
1992
Springer
In this paper we derive a linear-time, constant-space algorithm to construct a binary heap whose inorder traversal equals a given sequence. We do so in two steps. First, we invert...
118
click to vote
WSCG
2003
15 years 5 months ago
2003
We describe techniques to establish local frames over point-sampled manifold surfaces. The tangential alignment of local frames is determined using a wave front algorithm starting...
134
click to vote
ENTCS
2006
15 years 4 months ago
2006
We formalize two proofs of weak head normalization for the simply typed lambdacalculus in first-order minimal logic: one for normal-order reduction, and one for applicative-order ...