SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Recent techniques show the benefits of attaching communitygenerated knowledge to artifacts in an information space and presenting it to subsequent readers. We argue that such know...
More and more digitized art images are accumulated and expanded in our daily life and techniques need to be established on how to organize and retrieval them. Though content-based...
In this paper, we analyse web log data from user trials of the WHURLE-LS adaptive educational hypermedia (AEH) system from a behavioural perspective. This system allows users to s...
Elizabeth J. Brown, Tim J. Brailsford, Tony Fisher...
Selecting which algorithms should be used by a mobile robot computer vision system is a decision that is usually made a priori by the system developer, based on past experience and...
Reinaldo A. C. Bianchi, Arnau Ramisa, Ramon L&oacu...