This paper presents a model constructed for the evaluation of the interaction of the atmosphere and the ocean. The work here presented focuses in the development of an agent based ...
A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also o...
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
Data integration is one of the older research fields in the database area and has emerged shortly after database systems were first introduced into the business world. In this pa...
We present spatio-temporal feature descriptors that can be inferred from video and used as building blocks in action recognition systems. They capture the evolution of ``elementar...