1818 search results - page 200 / 364 » Granularity-Adaptive Proof Presentation |
307
Voted
DNA
2011
Springer
14 years 3 months ago
2011
Springer
We study the potential for molecule recycling in chemical reaction systems and their DNA strand displacement realizations. Recycling happens when a product of one reaction is a rea...
146
Voted
ICIP
2001
IEEE
16 years 5 months ago
2001
IEEE
The objective of this paper is to show that for every color space there exists an optimum skin detector scheme such that the performance of all these skin detectors schemes is the...
98
Voted
CADE
2006
Springer
16 years 4 months ago
2006
Springer
We present a verified enumeration of tame graphs as defined in Hales' proof of the Kepler Conjecture and confirm the completeness of Hales' list of all tame graphs while ...
123
Voted
ICISS
2009
Springer
15 years 10 months ago
2009
Springer
We present a new remote, coercion-free electronic voting protocol which satisfies a number of properties previously considered contradictory. We introduce (and justify) the idea ...
113
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a novel compiled approach to Normalization by Evaluation (NBE) for ML-like languages. It supports efficient normalization of open λ-terms w.r.t. β-reduction and rewrit...