979 search results - page 161 / 196 » Presentations for Abstract Context Institutions |
TROB
2002
13 years 7 months ago
2002
Abstract-We study the problem of achieving global behavior in a group of distributed robots using only local sensing and minimal communication, in the context of formations. The go...
MSCS
2007
13 years 7 months ago
2007
ction category is an abstract formulation for a category of partial maps, defined in terms of certain specified idempotents called the restriction idempotents. All categories of...
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— In recent years, there has been an increasing interest in autonomous navigation for lightweight flying robots. With regard to self-localization flying robots have sev...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— The problem of place recognition appears in different mobile robot navigation problems including localization, SLAM, or change detection in dynamic environments. Wherea...