16666 search results - page 2504 / 3334 » Descriptive and Computational Complexity |
187
click to vote
RECOMB
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Peptide recognition modules (PRMs) are specialised compact protein domains that mediate many important protein-protein interactions. They are responsible for the assembly...
217
click to vote
RTA
2005
Springer
16 years 1 months ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...
166
click to vote
STACS
2005
Springer
16 years 1 months ago
2005
Springer
We provide a deterministic algorithm that constructs small point sets exhibiting a low star discrepancy. The algorithm is based on recent results on randomized roundings respectin...
244
click to vote
TGC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
262
click to vote
TLCA
2005
Springer
16 years 1 months ago
2005
Springer
Two common misbeliefs about encodings of the λ-calculus in interaction nets (INs) are that they are good only for strategies that are not very well understood (e.g. optimal reduct...