6358 search results - page 897 / 1272 » Computing spectral sequences |
181
click to vote
GECCO
2005
Springer
16 years 9 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...
159
click to vote
LADC
2005
Springer
16 years 9 days ago
2005
Springer
We present a framework for building fail-safe hard real-time applications in timed asynchronous distributed systems subject to communication partitions and performance, omission, ...
184
click to vote
TCC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
222
click to vote
MM
2004
ACM
16 years 6 days ago
2004
ACM
In this paper, we report our newly developed 3D face modeling system with arbitrary expressions in a high level of detail using the topographic analysis and mesh instantiation pro...
176
click to vote
ICALP
2004
Springer
16 years 5 days ago
2004
Springer
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...