3856 search results - page 469 / 772 » Models for Automated Earthmoving |
145
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes simulations designed to test the relative efficiency of two different sequential auction mechanisms for allocating compute resources between users in a shared...
157
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
189
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
On the Semantic Web personalization technologies are needed to deal with user diversity. Our research aims at maximising the automation of acquisition of user knowledge, thus provi...
127
click to vote
ISN
1995
Springer
15 years 10 months ago
1995
Springer
Metamanagement provides a means to manage the management processes, systems and software comprising a TMN system. In this paper we present the basic requirements of metamanagement,...
143
Voted
WSC
2007
15 years 9 months ago
2007
Planning and steering numerical experiments that involve many simulations are difficult tasks to automate. We describe how a simulation scheduling tool can help experimenters sub...