3379 search results - page 146 / 676 » Powers of Two |
114
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Satisfiability (SAT) solvers often benefit from a preprocessing of the formula to be decided. For formulae in conjunctive normal form (CNF), subsumed clauses may be removed or par...
128
click to vote
HPCN
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. In this paper the design and validation of a high performance simulation is discussed that is of critical value to the feasibility study of the GRAIL project, the aim of ...
153
click to vote
IANDC
2007
15 years 4 months ago
2007
We investigate the complexity and expressive power of a spatial logic for reasoning about graphs. This logic was previously introduced by Cardelli, Gardner and Ghelli, and provide...
130
click to vote
ICC
2008
IEEE
15 years 11 months ago
2008
IEEE
— A novel singular value decomposition (SVD) aided uplink (UL) multiuser MIMO system is proposed. In contrast to the traditional minimum mean square error (MMSE) or zeroforcing (...
163
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
Clustering is an important characteristic of most sensor applications. In this paper we define COSMOS, the Cluster-based, heterOgeneouS MOdel for Sensor networks. The model assum...