4816 search results - page 100 / 964 » Performance analysis of the AntNet algorithm |
134
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
179
click to vote
AB
2007
Springer
15 years 11 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
150
click to vote
PR
2007
15 years 4 months ago
2007
Feature extraction is among the most important problems in face recognition systems. In this paper, we propose an enhanced kernel discriminant analysis (KDA) algorithm called kern...
120
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
168
click to vote
ECCV
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. We present a probabilistic algorithm for finding correspondences across multiple images. The algorithm runs in a distributed setting, where each camera is attached to a s...