Sciweavers

773 search results - page 113 / 155
» Kernel Change-point Analysis
Sort
View
ICPR
2008
IEEE
15 years 4 months ago
Layer-based binarization for textual images
We developed a binarization approach to handle a large variety of images, from scanned flatbed images to images acquired by mobile phone cameras. The binarization is targeted at c...
Yaakov Navon
FCCM
2007
IEEE
146views VLSI» more  FCCM 2007»
15 years 4 months ago
Mitrion-C Application Development on SGI Altix 350/RC100
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...
Volodymyr V. Kindratenko, Robert J. Brunner, Adam ...
IEEEARES
2007
IEEE
15 years 4 months ago
Pastures: Towards Usable Security Policy Engineering
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
Sergey Bratus, Alex Ferguson, Doug McIlroy, Sean W...
TACAS
2007
Springer
103views Algorithms» more  TACAS 2007»
15 years 3 months ago
A Reachability Predicate for Analyzing Low-Level Software
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadee...
ICMCS
2006
IEEE
208views Multimedia» more  ICMCS 2006»
15 years 3 months ago
An Automatic Classification System Applied in Medical Images
In this paper, a multi-class classification system is developed for medical images. We have mainly explored ways to use different image features, and compared two classifiers: Pri...
Bo Qiu, Chang Xu, Qi Tian