3658 search results - page 193 / 732 » Founding properties on measurement |
INFOCOM
2006
IEEE
14 years 3 months ago
2006
IEEE
— In the context of IEEE 802.11b network testbeds, we examine the differences between unicast and broadcast link properties, and we show the inherent difficulties in precisely e...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
The Compressive Sensing (CS) framework aims to ease the burden on analog-to-digital converters (ADCs) by reducing the sampling rate required to acquire and stably recover sparse s...
PLDI
2009
ACM
14 years 10 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
BMCBI
2006
13 years 9 months ago
2006
Background: More and more disordered regions have been discovered in protein sequences, and many of them are found to be functionally significant. Previous studies reveal that dis...
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— In this paper we present initial experiments towards environmental monitoring with a mobile platform. A prototype of a pollution monitoring robot was set up which measu...