9730 search results - page 1605 / 1946 » Relating models of backtracking |
168
click to vote
FSTTCS
2005
Springer
16 years 7 days ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
177
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
The prediction of the native structures of proteins, the socalled protein folding problem, is a NP hard multi-minima optimization problem for which to date no routine solutions ex...
165
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
The C-value Paradox is the name given in biology to the wide variance in and often very large amount of DNA in eukaryotic genomes and the poor correlation between DNA length and p...
206
Voted
GFKL
2005
Springer
16 years 7 days ago
2005
Springer
Mixture models represent results of gene expression cluster analysis in a more natural way than ’hard’ partitions. This is also true for the representation of gene labels, such...
145
click to vote
ICALP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract An encryption scheme is non-malleable if the adversary cannot transform a ciphertext into one of a related message under the given public key. Although providing a very st...