Sciweavers

1547 search results - page 207 / 310
» Randomized Variable Elimination
Sort
View
107
Voted
JSAT
2008
85views more  JSAT 2008»
15 years 2 months ago
Parallel SAT Solving using Bit-level Operations
We show how to exploit the 32/64 bit architecture of modern computers to accelerate some of the algorithms used in satisfiability solving by modifying assignments to variables in ...
Marijn Heule, Hans van Maaren
99
Voted
JSC
2006
95views more  JSC 2006»
15 years 2 months ago
Polyhedral conditions for the nonexistence of the MLE for hierarchical log-linear models
We provide a polyhedral description of the conditions for the existence of the maximum likelihood estimate (MLE) for a hierarchical log-linear model. The MLE exists if and only if...
Nicholas Eriksson, Stephen E. Fienberg, Alessandro...
95
Voted
IIE
2007
73views more  IIE 2007»
15 years 2 months ago
What's the Difference, Still? A Follow up Methodological Review of the Distance Education Research
A high quality review of the distance learning literature from 1992–1999 concluded that most of the research on distance learning had serious methodological flaws. This paper pr...
Justus J. Randolph
SIMPRA
2008
99views more  SIMPRA 2008»
15 years 2 months ago
Response surface methodology for constrained simulation optimization: An overview
This article summarizes `Generalized Response Surface Methodology'(GRSM), extending Box and Wilson's `Response Surface Methodology'(RSM). GRSM allows multiple rando...
Jack P. C. Kleijnen
139
Voted
TCS
2008
15 years 2 months ago
Generalized approximate counting revisited
A large class of q-distributions is defined on the stochastic model of Bernoulli trials in which the probability of success (=advancing to the next level) depends geometrically on...
Guy Louchard, Helmut Prodinger