Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...
We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-str...
This paper considers some rst principles that might provide a basis for an objective science of experience (presence or immersion). Dimensions that are considered include classica...
This paper describes the design and functionality of courseware developed to demonstrate the JDBC API. The coursewarc is used in an advanced undergraduate database course that emp...
Suzanne W. Dietrich, Susan Darling Urban, Ion Kyri...
The paper presents a novel strategy aimed at modelling instruction energy consumption of 32-bits microprocessors. Differently from former approaches, the proposed instruction-level...
Carlo Brandolese, Fabio Salice, William Fornaciari...