Sciweavers

2799 search results - page 167 / 560
» Comparing Point Clouds
Sort
View
ICANNGA
2007
Springer
120views Algorithms» more  ICANNGA 2007»
16 years 16 days ago
Evolutionary Approach to the Game of Checkers
A new method of genetic evolution of linear and nonlinear evaluation functions in the game of checkers is presented. Several practical issues concerning application of genetic algo...
Magdalena Kusiak, Karol Waledzik, Jacek Mandziuk
EMO
2005
Springer
175views Optimization» more  EMO 2005»
15 years 12 months ago
A New Analysis of the LebMeasure Algorithm for Calculating Hypervolume
We present a new analysis of the LebMeasure algorithm for calculating hypervolume. We prove that although it is polynomial in the number of points, LebMeasure is exponential in the...
R. Lyndon While
DAGM
2004
Springer
15 years 11 months ago
Learning Depth from Stereo
We compare two approaches to the problem of estimating the depth of a point in space from observing its image position in two
Fabian H. Sinz, Joaquin Quiñonero Candela, ...
DAGM
2003
Springer
15 years 11 months ago
Variance Component Estimation in Performance Characteristics Applied to Feature Extraction Procedures
This paper proposes variance component estimation (VCE) for empirical quality evaluation in computer vision. An outline is given for the scope of VCE in the context of quality eval...
Marc Luxen
FM
2006
Springer
169views Formal Methods» more  FM 2006»
15 years 10 months ago
PSL Model Checking and Run-Time Verification Via Testers
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
Amir Pnueli, Aleksandr Zaks