3886 search results - page 546 / 778 » Toward Recovery-Oriented Computing |
143
click to vote
QEST
2009
IEEE
16 years 29 days ago
2009
IEEE
Abstract—ITPN-PerfBound is a graphical tool for the modeling and performance bound analysis of Interval Time Petri Nets (ITPN), that has been developed within the DrawNET modelin...
157
click to vote
ICRA
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract— This paper proposes a multiple robot control algorithm to approach the problem of patrolling an open or closed line. The algorithm is fully decentralized, i.e., no comm...
163
click to vote
IROS
2009
IEEE
16 years 27 days ago
2009
IEEE
— In order to define an architecture for task and motion planning of a mobile robot, we propose the CellRRT path planner that combines the advantages of planning approaches by d...
148
click to vote
WOLLIC
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
162
click to vote
VRST
2009
ACM
16 years 23 days ago
2009
ACM
In this paper, we introduce a 3D menu with a new technique of haptic guidance, for virtual environments. The 3D menu consists in a thin polyhedral shape, with the items at the cor...