958 search results - page 68 / 192 » Resolving the Micropayment Problem |
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a self-calibrating photometric stereo method. From a set of images taken from a fixed viewpoint under different and unknown lighting conditions, our method automaticall...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—With wide applicability of flash memory in various application domains, reliability has become a very critical issue. This research is motivated by the needs to resolve the lif...
ICTAI
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents an original dynamic subsumption technique for Boolean CNF formulae. It exploits simple and sufficient conditions to detect, during conflict analysis, clauses...
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— A stable non-linear oscillator for autonomous biped stepping control is designed in a top-down manner by morphing dynamics of standing regulator. It resolves three problems whi...
FMICS
2009
Springer
15 years 4 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...