4629 search results - page 356 / 926 » Space Kernel Analysis |
156
click to vote
FCCM
2007
IEEE
16 years 1 months ago
2007
IEEE
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...
162
click to vote
IEEEARES
2007
IEEE
16 years 29 days ago
2007
IEEE
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...
152
click to vote
TACAS
2007
Springer
16 years 23 days ago
2007
Springer
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...
160
click to vote
ICMCS
2006
IEEE
16 years 21 days ago
2006
IEEE
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...
166
click to vote
IBPRIA
2005
Springer
16 years 6 days ago
2005
Springer
We describe a fast algorithm for Gabor filtering, specially designed for multi-scale image representations. Our proposal is based on three facts: first, Gabor functions can be de...