3856 search results - page 448 / 772 » Models for Automated Earthmoving |
283
click to vote
ICRA
2003
IEEE
16 years 4 hour ago
2003
IEEE
Abstract— This paper considers the localizaton and navigation of a mobile robot. The control strategy is based on a nonlinear model predictive control technique that utilizes the...
179
click to vote
SAINT
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we outline a framework for performing automated discovery, composition and execution of web services based solely on the information available in interface descripti...
191
click to vote
TPHOL
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...
167
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...
150
click to vote
FATES
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...