5015 search results - page 257 / 1003 » Model Checking a Path |
148
click to vote
ICCCN
2007
IEEE
16 years 23 days ago
2007
IEEE
—Channel-specific path data for a 44-node 2.4 GHz wireless sensor network deployed in an industrial setting is presented. Each node generates one data packet every 28 seconds wit...
150
click to vote
VR
2003
IEEE
15 years 11 months ago
2003
IEEE
We examine the law of steering – a quantitative model of human movement time in relation to path width and length previously established in hand drawing movement – in a VR loc...
159
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper addresses the following inspection problem: given a known workspace and a robot with vision capabilities compute a short path path for the robot such that each point on...
179
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
In Ad hoc networks, malicious nodes can enter in radio transmission range on the routing path and disrupt network activity. Therefore, protecting from intrusion of malicious node a...
152
click to vote
4OR
2005
15 years 6 months ago
2005
Many real problems can be modelled as robust shortest path problems on digraphs with interval costs, where intervals represent uncertainty about real costs and a robust path is not...