We consider finite model approximations of discrete-time partially observed Markov decision processes (POMDPs) under the discounted cost criterion. After converting the original partially observed stochastic control problem ...

In free space optical communication systems, transmit laser selection (TLS) has been proposed as an efficient fading-mitigation technique over turbulence channels. In TLS, the transmitter is equipped with a number of laser ...

In the Attractive Traveling Salesman Problem the vertex set is partitioned into facility vertices and customer vertices. A maximum profit tour must be constructed on a subset of the facility vertices. Profit is computed ...

In the version of this article initially published, CMS Collaboration author names, affiliations and acknowledgements were omitted and have now been included in the HTML and PDF versions of the article.

In low-latency live streaming, it is not easy to simultaneously avoid stalls and maintain low latency. The trade-off needs to be decided in real time. One of the best tools for controlling the buffer level (hence, the ...

Defect prioritization is mainly a manual and error-prone task in the current state-of-the-practice. We evaluated the effectiveness of an automated approach that employs supervised machine learning. We used two alternative ...

The use of inline quality assessment technologies is of great importance in meeting the consistent extrusion requirements of 3D concrete printing (3DCP) applications. This paper presents a system to regulate extrusion speed ...

Streaming audio and video content currently accounts for the majority of the internet traffic and is typically deployed over the top of the existing infrastructure. We are facing the challenge of a plethora of media players ...

Model-based testing relies on models of the system under test to automatically generate test cases. Consequently, the effectiveness of the generated test cases depends on models. In general, these models are created manually, ...

There are fully automated approaches proposed for Web application testing. These approaches mainly rely on tools that explore an application by crawling it. The crawling process results in a state transition model, which ...