In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
In the development of bus-based systems and individual PCB boards interfacing to a bus, the simulation usually requires a specific test bench or creation of quite complex stimuli....
Jari Toivanen, Jari Honkola, Jari Nurmi, Jyrki Tuo...
This paper presents an ontology-based semantic portal, SEMPort, which aims to support both content providers and the users of the portal during providing information, browsing and...
Melike Sah, Wendy Hall, Nicholas Gibbins, David De...
Abstract. We describe a method for managing large expressions in symbolic computations which combines a hierarchical representation with signature calculations. As a case study, th...
Wenqin Zhou, Jacques Carette, David J. Jeffrey, Mi...
Phase-based methods are commonly applied in image registration. When working with phase-difference methods only a single scale is employed, although the algorithms are normally ite...