62 search results - page 7 / 13 » Distributed implementation of the adaptive kinetic Monte Car... |
CF
2005
ACM
15 years 1 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
103
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: Yu et al. (BMC Bioinformatics 2007,8: 145+) have recently compared the performance of several methods for the detection of genomic amplification and deletion breakpoin...
ICCAD
1997
IEEE
15 years 3 months ago
1997
IEEE
An algorithm that remains in use at the core of many partitioning systems is the Kernighan-Lin algorithm and a variant the Fidducia-Matheysses (FM) algorithm. To understand the FM...
ICCV
2003
IEEE
16 years 1 months ago
2003
IEEE
In recent years particle filters have become a tremendously popular tool to perform tracking for non-linear and/or non-Gaussian models. This is due to their simplicity, generality...
IJCNN
2000
IEEE
15 years 4 months ago
2000
IEEE
Bayesian MLP neural networks are a flexible tool in complex nonlinear problems. The approach is complicated by need to evaluate integrals over high-dimensional probability distri...