3052 search results - page 64 / 611 » On the Verification of the Gravity Model Used for Mobility M... |
ACSC
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— In order to construct three-dimensional shape models of large-scale architectural structures using a laser range finder, a number of range images are taken from various viewpo...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— In the field of mobile robotics, trajectory details are seldom taken into account to qualify robot performance. Most metrics rely mainly on global results such as the total ti...
ICWMC
2006
IEEE
14 years 1 months ago
2006
IEEE
In MANET research the mobility of the nodes is often described using standard synthetic models. Given a particular application, e.g. networks of unmanned aerial vehicles (UAVs) pe...
CLEIEJ
2010
13 years 5 months ago
2010
This paper addresses the evaluation of a fault-tolerant model for tactic operations of mobile robotic groups. The coordinated action of the group is planned with Genetic Algorithm...