We propose to incorporate a priori geometric constraints in a 3?D stereo reconstruction scheme to cope with the many cases where image information alone is not sufficient to accur...
In view of the need to provide tools to facilitate the reuse of existing knowledge structures such as ontologies, we present in this paper a system, AKTiveRank, for the ranking of...
Energy efficiency is rapidly becoming a first class optimization parameter for modern systems. Caches are critical to the overall performance and thus, modern processors (both hig...
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
Based on contemporary Chaos and Complexity Theories, ImaginationTOOLSTM is an innovative Virtual Reality (VR) software architecture which, by means of an agent-based interface, end...
Francesca Bertacchini, Eleonora Bilotta, Pietro Pa...