509 search results - page 60 / 102 » Standardization and Testing of Mathematical Functions |
CEC
2008
IEEE
14 years 4 months ago
2008
IEEE
—The first hitting time (FHT) plays an important role in convergence evaluation for evolutionary algorithms. However, the current criteria of the FHT are mostly under a hypothesi...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we propose a method for robust kernel density estimation. We interpret a KDE with Gaussian kernel as the inner product between a mapped test point and the centroid ...
ISORC
2008
IEEE
14 years 4 months ago
2008
IEEE
Reusable libraries are problematic for real-time software in Java. Using Java’s standard class library, for example, demands meticulous coding and testing to avoid response time...
MMSP
2008
IEEE
14 years 4 months ago
2008
IEEE
—This paper addresses the problem of dense disparity estimation from a pair of color stereo images. Based on a convex set theoretic formulation, the stereo matching problem is ca...
CSFW
2007
IEEE
14 years 4 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...