4620 search results - page 124 / 924 » Comparing Object Encodings |
137
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
Interactive interpolating crossover allows a user to quickly see a large number of individuals formed by interactively-controlled interpolation between two or more parents. We stud...
153
click to vote
DCC
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper describes design of a low-complexity algorithm for adaptive encoding/decoding of binary sequences produced by memoryless sources. The algorithm implements universal blo...
155
click to vote
ENTCS
2007
15 years 6 months ago
2007
We formalize in the logical framework ATS/LF a proof based on Tait’s method that establishes the simply-typed lambda-calculus being strongly normalizing. In malization, we emplo...
156
click to vote
JMM2
2007
15 years 6 months ago
2007
—The proposed approach (CICMFCSA), firstly, compose the one-plane image using the pixel’s trichromatic coefficients. One-plane image in traditional square structure is represen...
178
Voted
CORR
2007
Springer
15 years 5 months ago
2007
Springer
7 Irregular pyramids are made of a stack of successively reduced graphs embedded in the plane. Such pyramids are used within the segmentation framework to encode a hierarchy of pa...