– The service robot supports people in their daily activities, while the interaction between humans and robots seems to be an important part of its performance. Dialogue may be b...
Advances in high-performance computing have led to the broad use of computational studies in everyday engineering and scientific applications. A single study may require thousand...
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
In this paper, a novel method of relevance feedback is presented based on Support Vector Machine learning in the content-based image retrieval system. A SVM classifier can be lear...
Ubiquitous computing is increasingly becoming part of our lives. Various computing devices, having different sizes and capabilities, and using different software platforms are part...