62 search results - page 7 / 13 » Distributed implementation of the adaptive kinetic Monte Car... |
CF
2005
ACM
13 years 8 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...
BMCBI
2007
13 years 6 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
13 years 11 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
14 years 8 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
13 years 11 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...