This paper reports on an evaluation carried out on behalf of the Scottish Library and Information Council (SLIC) of a Scottish Executive initiative to fund a year's use of a major commercial digital library service called SCRAN throughout public libraries in Scotland. The methodology used for investigating value for money aspects, content and nature of the service, users and usage patterns, the...

The popular multiresolution segmentation (MRS) algorithm is time and memory consuming when dealing with large images because it uses the pixel-grid for the initial object representation. In this study, we have tested a new workflow for image segmentation of remote sensing data, starting the MRS (using the ESP2 tool) from the superpixel level (using SLIC superpixels) and aiming at dramatically r...

Object detection in a huge volume of aerial imagery requires first detecting the salient regions. When an image is over-segmented by the superpixels, the latters will adhere to object boundaries, resulting in their shape deformation and size variation, which can be used as the saliency measure. The normalized Hausdorff distances from the inner pixels to boundary of the superpixels are then tran...

The correctness of embedded systems software is of critical importance as invalid states can cause a physical damage to hardware. One of approaches to verification of such systems is using source code analyzers. The Static Driver Verifier Research Platform (SDVRP), which is based on Simultaneous Localization and Mapping (SLAM) and represents a tool that systematically analyzes source code and a...

In this paper we propose a slanted plane model for jointly recovering an image segmentation, a dense depth estimate as well as boundary labels (such as occlusion boundaries) from a static scene given two frames of a stereo pair captured from a moving vehicle. Towards this goal we propose a new optimization algorithm for our SLIC-like objective which preserves connecteness of image segments and ...

Breast cancer has become a symbol of tremendous concern in the modern world, as it is one major causes mortality worldwide. In this regard, breast ultrasonography images are frequently utilized by doctors to diagnose at an early stage. However, complex artifacts and heavily noised make diagnosis great challenge. Furthermore, ever-increasing number patients being screened for necessitates use au...

Avinux is a tool that facilitates the automatic analysis of Linux and especially of Linux device drivers. The tool is implemented as a plugin for the Eclipse IDE, using the source code bounded model checker CBMC as its backend. Avinux supports a verification process for Linux that includes specification annotation in SLICx (an extension of the SLIC language), automatic data environment creation...