Sciweavers

4781 search results - page 71 / 957
» Complexity at large
Sort
View
ECCC
2010
72views more  ECCC 2010»
13 years 6 months ago
Paris-Harrington tautologies
We initiate the study of the proof complexity of propositional encoding of (weak cases of) concrete independence results. In particular we study the proof complexity of Paris-Harr...
Lorenzo Carlucci, Nicola Galesi, Massimo Lauria
GLOBECOM
2008
IEEE
14 years 2 months ago
Reduced Complexity ML Detection for Differential Unitary Space-Time Modulation with Carrier Frequency Offset
— Recently, a maximum likelihood (ML) detection rule for differential unitary space time modulation (DUSTM) under the existence of unknown carrier frequency offset (CFO) has been...
Feifei Gao, Arumugam Nallanathan, Chintha Tellambu...
CORR
2008
Springer
90views Education» more  CORR 2008»
13 years 7 months ago
Effective Complexity and its Relation to Logical Depth
Abstract--Effective complexity measures the information content of the regularities of an object. It has been introduced by M. Gell-Mann and S. Lloyd to avoid some of the disadvant...
Nihat Ay, Markus Mueller, Arleta Szkola
ICSE
2009
IEEE-ACM
14 years 10 days ago
Predicting faults using the complexity of code changes
Predicting the incidence of faults in code has been commonly associated with measuring complexity. In this paper, we propose complexity metrics that are based on the code change p...
Ahmed E. Hassan
CNSR
2008
IEEE
136views Communications» more  CNSR 2008»
14 years 2 months ago
Using QR-Updating with Reduced Complexity for Precise Localization in Mobile Sensor Networks
Localizing tiny sensor nodes in large wireless sensor networks is extremely complex, due to the node’s strict resource limitations regarding memory size, processor performance a...
Frank Reichenbach, Dominik Lieckfeldt, Dirk Timmer...