314 search results - page 44 / 63 » Generating Path Conditions for Timed Systems |
FBIT
2007
IEEE
14 years 1 months ago
2007
IEEE
In Wireless Sensor Networks (WSNs), address-based routing approaches often lead to severe problems due to node mobility, energy-saving sleep-cycles, and often missing or unreliabl...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Ultra wideband technology shows promise for precision ranging due to its fine time resolution to resolve multipath fading and the presence of lower frequencies in the ...
SIAMSC
2008
13 years 7 months ago
2008
We propose a new numerical scheme for linear transport equations. It is based on a decomposition of the distribution function into equilibrium and non-equilibrium parts. We also us...
TROB
2008
13 years 7 months ago
2008
In this paper, we describe a system that can carry4 out simultaneous localization and mapping (SLAM) in large in-5 door and outdoor environments using a stereo pair moving with 66 ...
XIMEP
2004
ACM
14 years 1 months ago
2004
ACM
Most current XQuery implementations require that all XML data reside in memory in one form or another before they start processing the data. This is unacceptable for large XML doc...