958 search results - page 6 / 192 » Resolving the Micropayment Problem |
SAT
2004
Springer
14 years 3 months ago
2004
Springer
We present a novel expansion based decision procedure for quantified boolean formulas (QBF) in conjunctive normal form (CNF). The basic idea is to resolve existentially quantifie...
BMCBI
2010
13 years 10 months ago
2010
Background: Stable isotope tracing with ultra-high resolution Fourier transform-ion cyclotron resonance-mass spectrometry (FT-ICR-MS) can provide simultaneous determination of hun...
ICCV
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract. This paper presents a method to segment the hand over complex backgrounds, such as the face. The similar colors and texture of the hand and face make the problem particul...
IEEEPACT
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper discusses a register bank assignment problem for a popular network processor--Intel's IXP. Due to limited data paths, the network processor has a restriction that ...
ISBI
2009
IEEE
14 years 4 months ago
2009
IEEE
This paper deals with the problem of time-resolved fluorescence diffuse optical tomography. We propose a new reconstruction scheme based on a multi-resolution approximation of th...