Rectangle (square) packing problems involve packing all squares with sizes 1 × 1 to n × n into the minimum area enclosing rectangle (respectively, square). Rectangle packing is a...
One resource playing a critical role in electronically supported decision-making groups is the facilitator. Facilitation is a complex task, encompassing social abilities, pre-meet...
Abstract. In this paper, we propose a new method for image classification, in which matrix based kernel features are designed to capture the multiple similarities between images in...
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...
Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, M...
In this paper, we study several TCP fairness issues in wireless local networks, both experimentally and via simulation. We illustrate the unfairness problems caused by the 802.11 ...