43264 search results - page 375 / 8653 » Comparing models of computation |
171
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
The advent of multicore processors requires mainstream concurrent programming languages with high level concurrency constructs and effective debugging techniques. Unfortunately, m...
136
click to vote
ISBI
2007
IEEE
15 years 11 months ago
2007
IEEE
We investigate fast iterative image reconstruction methods for fully 3D multispectral optical bioluminescence tomography where inhomogeneous optical properties are modeled using t...
123
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
—We propose a new method for online estimation of probabilistic discriminative models. The method is based on the recently proposed online Kernel Density Estimation (oKDE) framew...
314
click to vote
SPIN
2012
Springer
13 years 7 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
105
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
We present a novel algorithm for computing a training set consistent subset for the nearest neighbor decision rule. The algorithm, called FCNN rule, has some desirable properties....