5105 search results - page 224 / 1021 » An algorithm to determine peer-reviewers |
152
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
109
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a new technique to improve the combination of classification decisions obtained from local analysis of patterns. Specifically, a genetic algorithm is used to d...
183
click to vote
ISIPTA
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we consider decision making under hierarchical imprecise uncertainty models and derive general algorithms to determine optimal actions. Numerical examples illustrate...
154
click to vote
ESA
2003
Springer
15 years 11 months ago
2003
Springer
A kinetic dictionary is a data structure for storing a set S of continuously moving points on the real line, such that at any time we can quickly determine for a given query point ...
172
click to vote
3DIM
2001
IEEE
15 years 10 months ago
2001
IEEE
A novel solution is presented to the Nearest Neighbor Problem that is specifically tailored for determining correspondences within the Iterative Closest Point Algorithm. The refer...