52 search results - page 4 / 11 » Pict Correctness Revisited |
RECOMB
2005
Springer
16 years 1 days ago
2005
Springer
As one of the earliest problems in computational biology, RNA secondary structure prediction (sometimes referred to as "RNA folding") problem has attracted attention agai...
ACTA
2007
14 years 12 months ago
2007
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular ...
LOGCOM
1998
14 years 11 months ago
1998
A sequent calculus of a new sort is extracted from the Prolog program leanTAP. This calculus is sound and complete, even though it lacks almost all structural rules. Thinking of l...
100
click to vote
PROVSEC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We revisit the notion of the anonymous signature, first formalized by Yang, Wong, Deng and Wang [12], and then further developed by Fischlin [6] and Zhang and Imai [13]. ...
ICPR
2006
IEEE
16 years 25 days ago
2006
IEEE
In order to realize accurate camera-based character recognition, machine-readable class information is embedded into each character image. Specifically, each character image is pr...