3856 search results - page 286 / 772 » Models for Automated Earthmoving |
182
click to vote
ICSM
2006
IEEE
16 years 22 days ago
2006
IEEE
Although the world-wide-web (WWW) has significantly enhanced open-source software (OSS) development, it has also created new challenges for quality assurance (QA), especially for...
184
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
—This article describes a rigorous and complete framework for the simultaneous localization and map building problem for mobile robots: the symmetries and perturbations map (SPma...
168
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
178
click to vote
TACAS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
190
click to vote
CL
2010
Springer
15 years 6 months ago
2010
Springer
Autonomous mobile programs (AMPs) offer a novel decentralised load management technology where periodic use is made of cost models to decide where to execute in a network. In this...