1763 search results - page 232 / 353 » A Formalization of Polytime Functions |
CIE
2005
Springer
15 years 3 months ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
EUROGP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. A protein is a linear chain of amino acids that folds into a unique functional structure, called its native state. In this state, proteins show repeated substructures lik...
101
click to vote
FSE
2004
Springer
15 years 3 months ago
2004
Springer
Symmetric encryption schemes are usually formalized so as to make the encryption operation a probabilistic or state-dependent function E of the message M and the key K: the user su...
IMR
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents a generic approach to mesh global optimization via node movement, based on a discrete graph-theoretic model. Mesh is considered as an electric system with lump...
IFL
2003
Springer
15 years 3 months ago
2003
Springer
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In t...