Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain. Video interp...
In this paper, two concepts from different research areas are addressed together, namely functional dependency (FD) and multidimensional association rule (MAR). FD is a class of i...
—Bone dissection is an important component of many surgical procedures. In this paper, we discuss a haptic and visual implementation of a bone cutting burr, that it is being deve...
Marco Agus, Andrea Giachetti, Enrico Gobbetti, Gia...
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...