Experience with relational systems has shown that distribution is an effective way of improving the scalability of query evaluation. In this paper, we show how distributed query e...
We investigate the question of when a prover can aid a verifier to reliably compute a function faster than if the verifier were to compute the function on its own. Our focus is ...
—In this paper, we present a passive device for swing assistance of motor-incomplete spinal cord injury patients. This device is aimed at reducing the physical demands on the the...
Kalyan K. Mankala, Sai K. Banala, Sunil Kumar Agra...
This paper investigates profit optimisation by the partitioning of server pools. Different types of web requests are considered in this paper: best-effort requests and multi-class...
Decentralized MDPs provide powerful models of interactions in multi-agent environments, but are often very difficult or even computationally infeasible to solve optimally. Here we...