5216 search results - page 783 / 1044 » Planning as Model Checking |
180
click to vote
CSCW
2006
ACM
16 years 15 days ago
2006
ACM
Representations are at work in IT technology. As plans of and for work, they enable cooperation, coordination, accountability and control, which have to be balanced off against ea...
151
click to vote
GIR
2006
ACM
16 years 15 days ago
2006
ACM
In this paper we test the hypothesis Given a piece of text describing an object or concept our combined disambiguation method can disambiguate whether it is a place and ground it ...
176
click to vote
CW
2005
IEEE
16 years 4 days ago
2005
IEEE
To support the collaborative development of custom products in current distributed manufacturing, this paper develops a Web-based configure-to-order platform. The proposed platfor...
152
click to vote
ICRA
2005
IEEE
16 years 4 days ago
2005
IEEE
— This paper introduces the multi-robot boundary coverage problem, wherein a group of k robots must inspect every point on the boundary of a 2-dimensional test environment. Using...
152
click to vote
ICRA
2005
IEEE
16 years 4 days ago
2005
IEEE
— The E∗ algorithm is a path planning method capable of dynamic replanning and user-configurable path cost interpolation. It calculates a navigation function as a sampling of ...