Sciweavers

2233 search results - page 30 / 447
» On the Complexity of Theory Curbing
Sort
View
186
Voted
COMPLEXITY
2010
173views more  COMPLEXITY 2010»
14 years 9 months ago
Signal-regulated systems and networks
The paper presents the use of signal regulatory networks, a biologically-inspired model based on gene regulatory networks. Signal regulatory networks are a way of understanding a ...
Terence L. van Zyl, Elizabeth Marie Ehlers
107
Voted
ICASSP
2011
IEEE
14 years 5 months ago
On the implementation of MIMO-OFDM schemes using perturbation of the QR decomposition: Application to 3GPP LTE-a systems
Consider a flat-fading Multiple-Input Multiple-Output (MIMO) system. The near-optimum detection problematic has been shown to be efficiently solved through QR Decomposition (QRD...
Sébastien Aubert, Jane Tournois, Fabienne N...
128
Voted
EUROCRYPT
2012
Springer
13 years 4 months ago
Decoding Random Binary Linear Codes in 2 n/20: How 1 + 1 = 0 Improves Information Set Decoding
Decoding random linear codes is a well studied problem with many applications in complexity theory and cryptography. The security of almost all coding and LPN/LWE-based schemes rel...
Anja Becker, Antoine Joux, Alexander May, Alexande...
127
Voted
CORR
2008
Springer
143views Education» more  CORR 2008»
15 years 2 months ago
On combinations of local theory extensions
Many problems in mathematics and computer science can be reduced to proving the satisfiability of conjunctions of literals in a background theory which is often the extension of a ...
Viorica Sofronie-Stokkermans
IJCAI
2003
15 years 3 months ago
Causal Theories of Action: A Computational Core
We propose a framework for simple causal theories of action, and study the computational complexity in it of various reasoning tasks such as determinism, progression and regressio...
Jérôme Lang, Fangzhen Lin, Pierre Mar...