Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...
In this paper, we present a new approach for omnidirectional vision-based self-localization in the RoboCup Middle-Size League. The omnidirectional vision sensor is used as a range ...
Emanuele Menegatti, Alberto Pretto, Enrico Pagello
News on demand features user interaction, interdependent media and is used by different client types. These requirements are not yet accommodated by a single solution. We address ...
This paper summarises the achievements of a multidisciplinary Bioinformatics project which has the objective of providing a general mechanism for efficient computerisation of type...
Andy C. Downton, Simon M. Lucas, Gregory Patoulas,...