5216 search results - page 394 / 1044 » Planning as Model Checking |
177
Voted
ISCC
2007
IEEE
16 years 1 months ago
2007
IEEE
Multimedia Broadcast Multicast Services (MBMS), introduced in Third Generation Partnership Project (3GPP) Release 6, is a point-to-multipoint downlink bearer service that addresse...
148
click to vote
ICRA
2005
IEEE
16 years 9 days ago
2005
IEEE
— The work presented in this paper addresses the problem of the stitching task in laparoscopic surgery using a circular needle and a conventional 4 DOFs needle-holder. This task ...
271
click to vote
ICRA
2005
IEEE
16 years 9 days ago
2005
IEEE
— In this paper, navigation and control of autonomous mobile unicycle robots in a complex and partially known obstacleridden environment is considered. The unicycle dynamic model...
155
click to vote
SI3D
2010
ACM
16 years 10 hour ago
2010
ACM
Path planning is an active topic in the literature, and efficient navigation over non-planar surfaces is an open research question. In this work we present a novel technique for ...
224
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
ERP implementation issues have been given much attention since two decades ago due to its low implementation success. Nearly 90 percent of ERP implementations are late or over bud...