5244 search results - page 475 / 1049 » Structural Complexity of AvgBPP |
204
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
—In order to evaluate the performance of new mobile network technologies, system level simulations are crucial. They aim at determining whether, and at which level predicted link...
144
click to vote
ACL
2010
15 years 5 months ago
2010
A central problem in historical linguistics is the identification of historically related cognate words. We present a generative phylogenetic model for automatically inducing cogn...
216
click to vote
ANTSW
2010
Springer
15 years 5 months ago
2010
Springer
We describe a theory from Herbert Simon that links the structure of complex systems to increased speed of evolution, and argue the position that this theory can be beneficial to ev...
208
click to vote
GLOBECOM
2010
IEEE
15 years 5 months ago
2010
IEEE
We consider distributed storage over two untrusted networks, whereby coding is used as a means to achieve a prescribed level of confidentiality. The key idea is to exploit the alge...
204
click to vote
ICCAD
2010
IEEE
15 years 5 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...