3387 search results - page 611 / 678 » Model-Checking for Real-Time Systems |
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
— Accurate full 3 axis orientation is computed using a low cost calibrated camera. We present a simultaneous sensor location and mapping method that uses a purely rotating camera...
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
—A generic approach that allows extracting functional nonlinear dependencies and mappings between atmospheric or ocean state variables in a relatively simple form is presented. T...
LCN
2006
IEEE
14 years 2 months ago
2006
IEEE
As sensor networks become denser and more widely deployed, the potential develops for interconnecting these networks to combine datasets, share technological solutions, and to con...
RTAS
2006
IEEE
14 years 2 months ago
2006
IEEE
A good amount of research has been developed to support QoS issues in IEEE 802.11 ad hoc networks, such as QoS routing, MAC layer QoS support, and cross-layer QoS design. However,...
RTAS
2006
IEEE
14 years 2 months ago
2006
IEEE
Real-time media servers are becoming increasingly important as the Internet supports more and more multimedia applications. In order to meet these ever increasing demands, real-ti...