3856 search results - page 528 / 772 » Models for Automated Earthmoving |
162
click to vote
CAI
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We generalize a learning algorithm originally devised for deterministic all-accepting weighted tree automata (wta) to the setting of arbitrary deterministic wta. The lear...
115
click to vote
CSL
2007
Springer
16 years 23 days ago
2007
Springer
We define a notion of relational linear combinatory algebra (rLCA) which is a generalization of a linear combinatory algebra defined by Abramsky, Haghverdi and Scott. We also de...
180
click to vote
DIS
2007
Springer
16 years 23 days ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
137
click to vote
ECSQARU
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The problem of averaging outcomes under several scenarios to form overall objective functions is of considerable importance in decision support under uncertainty. The fuz...
189
click to vote
EUROPAR
2007
Springer
16 years 23 days ago
2007
Springer
In Grid systems, nontrivial qualities of service have to be provided to users by the resource providers. However, resource management in a decentralized infrastructure is a complex...