Sciweavers

1547 search results - page 207 / 310
» Randomized Variable Elimination
Sort
View
90
Voted
JSAT
2008
85views more  JSAT 2008»
15 years 21 days 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
87
Voted
JSC
2006
95views more  JSC 2006»
15 years 21 days 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...
IIE
2007
73views more  IIE 2007»
15 years 20 days 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 19 days 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
TCS
2008
15 years 19 days 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