Sciweavers

7129 search results - page 885 / 1426
» Approximation Algorithms for Treewidth
Sort
View
127
Voted
ICC
2007
IEEE
145views Communications» more  ICC 2007»
15 years 11 months ago
Adaptive Radial Basis Function Detector for Beamforming
— We consider nonlinear detection in rank-deficient multiple-antenna assisted beamforming systems. By exploiting the inherent symmetry of the underlying optimal Bayesian detecti...
Sheng Chen, Khaled Labib, Rong Kang, Lajos Hanzo
IFIP
2007
Springer
15 years 11 months ago
Detecting Wormhole Attacks in Wireless Sensor Networks
Wormhole attacks can destabilize or disable wireless sensor networks. In a typical wormhole attack, the attacker receives packets at one point in the network, forwards them through...
Yurong Xu, Guanling Chen, James Ford, Fillia Maked...
126
Voted
ISSAC
2007
Springer
106views Mathematics» more  ISSAC 2007»
15 years 11 months ago
Numerical techniques for computing the inertia of products of matrices of rational numbers
Consider a rational matrix, particularly one whose entries have large numerators and denominators, but which is presented as a product of very sparse matrices with relatively smal...
John P. May, B. David Saunders, David Harlan Wood
SAT
2007
Springer
107views Hardware» more  SAT 2007»
15 years 11 months ago
Combining Adaptive Noise and Look-Ahead in Local Search for SAT
Abstract. The adaptive noise mechanism was introduced in Novelty+ to automatically adapt noise settings during the search [4]. The local search algorithm G2 WSAT deterministically ...
Chu Min Li, Wanxia Wei, Harry Zhang
148
Voted
WABI
2007
Springer
15 years 11 months ago
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
Christopher James Langmead, Sumit Kumar Jha