9521 search results - page 1432 / 1905 » Compiling with continuations, continued |
128
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
In this article we review standard null-move pruning and introduce our extended version of it, which we call verified null-move pruning. In verified null-move pruning, whenever th...
179
click to vote
CSDA
2010
15 years 7 months ago
2010
We propose a model for a point-referenced spatially correlated ordered categorical response and methodology for estimation of model parameters. Models and methods for spatially co...
167
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Although a deterministic polytime algorithm for primality testing is now known ([4]), the Rabin-Miller randomized test of primality continues being the most efficient and widely u...
177
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The TCP window size process appears in the modeling of the famous Transmission Control Protocol used for data transmission over the Internet. This continuous time Markov process t...
126
click to vote
CPHYSICS
2008
15 years 7 months ago
2008
We present an application to the full ASDEX Upgrade edge plasma of a novel method for 2D fluid modeling, including for the first time a realistic representation of the First Wall....