This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majum...
The hypothesis that happy team members are more cooperative than sad team members has become a popular presumption in social and applied psychology. The member negatively may affec...
Jui Hang Shih, Teng-Wen Chang, Hui-Mei Hong, Tian-...
We explore an application to the game of Go of a reinforcement learning approach based on a linear evaluation function and large numbers of binary features. This strategy has prov...
We consider the problem of optimal position liquidation with the aim of maximizing the expected cash flow stream from the transaction in the presence of temporary or permanent ma...