DIRECT (DIviding RECTangles) is a deterministic global optimization algorithm for bound-constrained problems. The algorithm, based on a space-partitioning scheme, performs both gl...
We present new algorithms for reinforcement learning, and prove that they have polynomial bounds on the resources required to achieve near-optimal return in general Markov decisio...
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcl...
Listening to music on personal, digital devices while mobile is an enjoyable, everyday activity. We explore a scheme for exploiting this practice to immerse listeners in navigatio...
Nigel Warren, Matt Jones, Steve Jones, David Bainb...
— In this paper, a time varying jumping rate (TVJR) model for Opposition-Based Differential Evolution (ODE) has been proposed. According to this model, the jumping rate changes l...
Shahryar Rahnamayan, Hamid R. Tizhoosh, Magdy M. A...