472 search results - page 61 / 95 » Symbolic range propagation |
VTC
2010
IEEE
13 years 8 months ago
2010
IEEE
— Ultra-wideband (UWB) techniques are recently targeted as a broadband short range solution for in-flightentertainment (IFE) systems. Despite the in-cabin channel can be consider...
MSWIM
2004
ACM
14 years 3 months ago
2004
ACM
All analytical and simulation research on ad hoc wireless networks must necessarily model radio propagation using simplifying assumptions. Although it is tempting to assume that a...
INFOCOM
2010
IEEE
13 years 8 months ago
2010
IEEE
—We propose and investigate a deterministic traveling wave model for the progress of epidemic routing in disconnected mobile ad hoc networks. In epidemic routing, broadcast or un...
CVPR
1998
IEEE
14 years 12 months ago
1998
IEEE
A new approach to the recognition of temporal behaviors and activities is presented. The fundamental idea, inspired by work in speech recognition, is to divide the inference probl...
PLDI
2009
ACM
14 years 4 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...