Coordinating a group of robots to work in formation has been suggested for a number of tasks, such as urban searchand-rescue, traffic control, and harvesting solar energy. Algorit...
In this paper we report on the effectiveness of query-biased summaries for a question-answering task. Our summarisation system presents searchers with short summaries of documents...
Neill Alexander, Craig Brown, Joemon M. Jose, Ian ...
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
Team members usually cooperate on a business process by partitioning it into several activities, which in turn generate one or more work items. Work items either need to be proces...
Current practice in Human Computer Interaction as encouraged by educational institutes, academic review processes, and institutions with usability groups advocate usability evalua...