8828 search results - page 1469 / 1766 » Formal methods in practice |
157
Voted
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— One of the key tasks during the realization of probabilistic approaches to localization is the design of a proper sensor model, that calculates the likelihood of a measurement ...
175
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Today’s implanted neural systems are bound by tight constraints on power and communication bandwidth. Most conventional ADC-based approaches fall into two categories. Either ...
196
click to vote
SSDBM
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider approximate join processing over data streams when memory limitations cause incoming tuples to overflow the available space, precluding exact processing. Selective evi...
158
click to vote
TRIDENTCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
— Wireless reprogramming of the sensor network is useful for uploading new code or for changing the functionality of the existing code. In recent years, the research focus has sh...
148
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, low complexity acquisition of UWB telemetry data packets is addressed. In addition to the usual channel impairments considered of additive white Gaussian noise (A...