Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
Query mapping to aggregation lattices is used in order to exploit sub-cube dependencies in multidimensional databases. It is employed in mobile OLAP dissemination systems, in order...
We introduce a novel intelligent system which can generate new Chinese calligraphic artwork that meets certain aesthetic requirements automatically. In the machine learning phase,...
Songhua Xu, Francis C. M. Lau, Kwok-Wai Cheung, Yu...
This work addresses the problem of automatic tracking of pedestrians observed by a fixed camera in outdoor scenes. Tracking isolated pedestrians is not a difficult task. The chall...
Pedro Mendes Jorge, Arnaldo J. Abrantes, Jorge S. ...