3131 search results - page 341 / 627 » Phase-Based Local Features |
137
click to vote
ICIAP
1999
ACM
15 years 9 months ago
1999
ACM
This paper presents a general strategy for designing efficient visual operators. The approach is highly task oriented and what constitutes the relevant information is defined by...
185
Voted
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
223
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
In this work the performance of several local search and metaheuristic methods is compared to previously reported work using evolutionary algorithms. The results show that while m...
133
click to vote
ISER
2000
Springer
15 years 8 months ago
2000
Springer
Abstract: This paper presents a technique for incorporating delayed decision making into stochastic mapping algorithms for concurrent mapping and localization. The approach explici...
115
click to vote
CONCUR
1995
Springer
15 years 8 months ago
1995
Springer
We provide a category theoretic reformulation of control structures, which avoids explicit reference to names. The basis of the formulation is what we call a binding structure, wh...