Sciweavers

1806 search results - page 79 / 362
» Randomness and halting probabilities
Sort
View
NAACL
2010
13 years 6 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
TIT
2011
106views more  TIT 2011»
13 years 3 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»
13 years 8 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
TSE
2010
120views more  TSE 2010»
13 years 3 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
STACS
2010
Springer
14 years 3 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