29908 search results - page 414 / 5982 » On the Complexity of |
161
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
143
click to vote
FOCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Broadcast among n parties in the presence of t ≥ n/3 malicious parties is possible only with some additional setup. The most common setup considered is the existence of a PKI an...
195
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper explores relay selection and selection diversity for coded cooperation in wireless sensor networks, with complexity constraints for the sensor nodes. In previous wor...
180
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Visualization as a communication medium is an important factor when considering how individuals are influenced in a decision about a complex policy issue. Age, race and gender may...
167
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Forward Error Correction (FEC) schemes are generally used in wireless communication systems to maintain an acceptable quality of service. Various models have been proposed in l...