3208 search results - page 602 / 642 » A Lower Bound for Primality |
170
click to vote
SAT
2009
Springer
16 years 24 days ago
2009
Springer
We investigate the role of cycles structures (i.e., subsets of clauses of the form ¯l1 ∨ l2, ¯l1 ∨ l3, ¯l2 ∨ ¯l3) in the quality of the lower bound (LB) of modern MaxSAT ...
199
click to vote
MOBICOM
2009
ACM
16 years 23 days ago
2009
ACM
Wireless Sensor Networks are emerging as a key sensing technology, with diverse military and civilian applications. In these networks, a large number of sensors perform distribute...
159
click to vote
SIGECOM
2009
ACM
16 years 23 days ago
2009
ACM
Voting trees describe an iterative procedure for selecting a single vertex from a tournament. vide a very general abstract model of decision-making among a group of individuals, a...
169
click to vote
FOCS
2008
IEEE
16 years 22 days ago
2008
IEEE
Abstract— We consider the approximate sparse recovery problem, where the goal is to (approximately) recover a highdimensional vector x ∈ Rn from its lower-dimensional sketch Ax...
172
click to vote
ICC
2008
IEEE
16 years 21 days ago
2008
IEEE
A common technique for wireless positioning is to estimate time-of-arrivals (TOAs) of signals traveling between a target node and a number of reference nodes, and then to determin...