16513 search results - page 470 / 3303 » Numerical Analysis Methods |
147
click to vote
ASPDAC
2000
ACM
15 years 10 months ago
2000
ACM
We present a satisfiability based multi-clock path analysis method. The method uses propositional satisfiability (SAT) in the detection of multi-clock paths. We show a method to re...
164
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
We present here a new method for correcting the topology of objects segmented from medical images. Whereas previous techniques alter a surface obtained from the hard segmentation o...
162
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
We report a method for semi-automated segmentation of extended features such as filamentous structures in electron tomograms. We present an application of this method for the auto...
164
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
A common problem in many user studies is gathering natural user behavior unintrusively over a long period of time. We describe a methodology for conducting passive longitudinal st...
202
click to vote
IWDW
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present a new method for sharing images between two parties exploiting homomorphic property of public key cryptosystem. With our method, we show that it is possib...