Sciweavers

1806 search results - page 79 / 362
» Randomness and halting probabilities
Sort
View
126
Voted
NAACL
2010
15 years 1 months ago
Products of Random Latent Variable Grammars
We show that the automatically induced latent variable grammars of Petrov et al. (2006) vary widely in their underlying representations, depending on their EM initialization point...
Slav Petrov
108
Voted
TIT
2011
106views more  TIT 2011»
14 years 10 months ago
Interference Alignment-Based Sum Capacity Bounds for Random Dense Gaussian Interference Networks
We consider a dense K user Gaussian interference network formed by paired transmitters and receivers placed independently at random in a fixed spatial region. Under natural condi...
Oliver Johnson, Matthew Aldridge, Robert J. Piecho...
CN
2004
98views more  CN 2004»
15 years 3 months ago
Simulation analysis of RED with short lived TCP connections
Several objectives have been identified in developing the random early drop (RED): decreasing queueing delay, increasing throughput, and increasing fairness between short and long...
Eitan Altman, Tania Jiménez
173
Voted
TSE
2010
120views more  TSE 2010»
14 years 10 months ago
Efficient Software Verification: Statistical Testing Using Automated Search
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...
Simon M. Poulding, John A. Clark
93
Voted
STACS
2010
Springer
15 years 10 months ago
On Optimal Heuristic Randomized Semidecision Procedures, with Application to Proof Complexity
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj´ıˇcek and P...
Edward A. Hirsch, Dmitry Itsykson