1127 search results - page 164 / 226 » Theory Extension in ACL2(r) |
167
click to vote
FOCS
2008
IEEE
16 years 19 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...
177
click to vote
INFOCOM
2008
IEEE
16 years 17 days ago
2008
IEEE
— Many tasks require multiple sensing capabilities; in Wireless Sensor Networks (WSN), it is expensive to deploy a homogeneous network wherein every sensor has the same functiona...
175
click to vote
IPPS
2008
IEEE
16 years 17 days ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...
167
click to vote
LICS
2008
IEEE
16 years 17 days ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
145
click to vote
SECON
2007
IEEE
16 years 13 days ago
2007
IEEE
—Joint routing-and-scheduling has been considered in wireless mesh networks for its significant performance improvement. While existing work assumes it, accurate traffic inform...