Sciweavers

4816 search results - page 329 / 964
» Performance analysis of the AntNet algorithm
Sort
View
174
Voted
MCS
2007
Springer
16 years 25 days ago
Fusion of Support Vector Classifiers for Parallel Gabor Methods Applied to Face Verification
In this paper we present a fusion technique for Support Vector Machine (SVM) scores, obtained after a dimension reduction with Bilateralprojection-based Two-Dimensional Principal C...
Ángel Serrano, Isaac Martín de Diego...
CAV
2007
Springer
114views Hardware» more  CAV 2007»
15 years 10 months ago
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
186
Voted
IPMI
2005
Springer
16 years 6 days ago
Fundamental Limits in 3D Landmark Localization
This work analyses the accuracy of estimating the location of 3D landmarks and characteristic image structures. Based on nonlinear estimation theory we study the minimal stochastic...
Karl Rohr
CIAC
1997
Springer
111views Algorithms» more  CIAC 1997»
15 years 11 months ago
A Meticulous Analysis of Mergesort Programs
The efficiency of mergesortprogramsis analysed under a simple unit-cost model. In our analysis the time performance of the sorting programs includes the costs of key comparisons, e...
Jyrki Katajainen, Jesper Larsson Träff
MVA
2000
119views Computer Vision» more  MVA 2000»
15 years 8 months ago
Structural Stability Analysis for Texture Recognition
The tree-structured wavelet transform has received a lot of attention and has found successful applications in signal denoising, image coding, image analysis, etc. In this paper, ...
Yukinobu Miyamoto, Mahdad Nouri Shirazi, Kuniaki U...