4816 search results - page 261 / 964 » Performance analysis of the AntNet algorithm |
160
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
183
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
186
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
We present an analysis and algorithm for the problem of super-resolution imaging, that is the reconstruction of HR (high-resolution) images from a sequence of LR (lowresolution) im...
179
click to vote
DMIN
2007
15 years 8 months ago
2007
— The application of feature selection techniques greatly reduces the computational cost of classifying highdimensional data. Feature selection algorithms of varying performance ...
182
click to vote
JMLR
2006
15 years 6 months ago
2006
Dimensionality reduction is an important pre-processing step in many applications. Linear discriminant analysis (LDA) is a classical statistical approach for supervised dimensiona...