3856 search results - page 530 / 772 » Models for Automated Earthmoving |
168
click to vote
ISI
2007
Springer
16 years 22 days ago
2007
Springer
—We address the problem of planning patrol routes to maximize coverage of important locations (hot spots) at minimum cost (length of patrol route). We model a road network using ...
199
click to vote
LPAR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...
196
click to vote
LPNMR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
172
click to vote
RR
2007
Springer
16 years 21 days ago
2007
Springer
The most promising feature of the Web services platform is its ability to form new (composite) services by combining the capabilities of already existing (component) services. The ...
183
click to vote
SAFECOMP
2007
Springer
16 years 21 days ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...