5638 search results - page 220 / 1128 » On presence |
167
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
Due to the fragility of small sensors, their finite energy supply and the loss of packets in the wireless channel, reports from sensors may not reach the sink node. In this paper ...
153
click to vote
DCC
2002
IEEE
16 years 6 months ago
2002
IEEE
A video transmission system is presented based on the 3-D SPIHT algorithm for video compression and turbo codes for channel error protection. The channel considered is a binary sy...
143
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
A fully-analytical approach to estimate the statistics of dynamic non-linearity parameters of pipeline analog-todigital converters (ADCs) in the presence of circuit nonidealities ...
177
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
— We present a tool for the static analysis of XPath queries and XML Schemas. The tool introduces techniques used in the field of verification (such as binary decision diagrams...
171
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...