5196 search results - page 885 / 1040 » State of Application Assessment |
157
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Decentralized Markov decision processes are frequently used to model cooperative multi-agent systems. In this paper, we identify a subclass of general DEC-MDPs that features regul...
123
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We present an application of a multi-agent cooperative search approach to the problem of optimizing gas pipeline operations, i.e. finding control parameters for a gas transmission...
120
click to vote
CARDIS
2008
Springer
15 years 6 months ago
2008
Springer
Digital signatures are one of the most important applications of microprocessor smart cards. The most widely used algorithms for digital signatures, RSA and ECDSA, depend on finite...
138
Voted
CAV
2008
Springer
15 years 6 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
163
Voted
CCGRID
2008
IEEE
15 years 6 months ago
2008
IEEE
Selection of resources for execution of scientific workflows in data grids becomes challenging with the exponential growth of files as a result of the distribution of scientific e...