649 search results - page 54 / 130 » Some Methods of Replacing the Nearest Neighbor Method |
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
The work addresses the problem of identifying the epistatic linkage of a function from high cardinality alphabets to the real numbers. It is a generalization of Heckendorn and Wri...
SAFECOMP
2004
Springer
14 years 1 months ago
2004
Springer
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
ISMB
2001
13 years 9 months ago
2001
Abstract: Absolute fast converging phylogenetic reconstruction methods are provably guaranteed to recover the true tree with high probability from sequences that grow only polynomi...
FORTE
1994
13 years 9 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
In order to improve efficiency of video coding, temporal redundancy between neighboring frames can be reduced. In MPEG-2, some frames, named interframes, are predicted using a mot...