876 search results - page 95 / 176 » New Results for the Martin Polynomial |
190
click to vote
TACAS
2012
Springer
14 years 1 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
464
click to vote
IPMI
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Multi-object segmentation with mutual interaction is a challenging task in medical image analysis. We report a novel solution to a segmentation problem, in which target o...
159
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. This paper describes a framework for quantitative analysis of neuroimaging data of traveling human phantoms used for cross-site validation. We focus on the analysis of ma...
175
click to vote
FCCM
2006
IEEE
16 years 11 days ago
2006
IEEE
Abstract: Approximate string matching is fundamental to bioinformatics, and has been the subject of numerous FPGA acceleration studies. We address issues with respect to FPGA imple...
159
click to vote
CAE
2007
15 years 8 months ago
2007
The visualization of color images in gray scale has high practical and theoretical importance. Neither the existing local, gradient based methods, nor the fast global techniques g...