Abstract. Attention, which intervenes at many different levels such as the perception of the environment and the allocation of cognitive resources, appears to represent one of the ...
We provide a novel view of learning an approximate model of a partially observable environment from data and present a simple implemenf the idea. The learned model abstracts away ...
The Sensor Web as an open complex adaptive system exhibits many characteristic that are common to selforganising systems. One of the characteristics of the Sensor Web is that of s...
Web forms are a common mechanism for collecting information online. They pose some limitations which negatively affect ease and flexibility of user interaction. These limitations ...
Abstract. Matita is a proof assistant characterised by a rich, user extensible, output facility based on a widget for the rendering of MathML Presentation, and by the automatic han...