52 search results - page 4 / 11 » Pict Correctness Revisited |
RECOMB
2005
Springer
14 years 8 months 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
13 years 8 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
13 years 7 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...
PROVSEC
2009
Springer
14 years 2 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
14 years 9 months 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...