1392 search results - page 67 / 279 » A Calculus for Dynamic Linking |
ICFP
2005
ACM
14 years 9 months ago
2005
ACM
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
ICANN
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We present a model of a recurrent neural network, embodied in a minimalist articulated agent with a single link and joint. The configuration of the agent defined by one...
ESANN
1997
13 years 10 months ago
1997
I present various systems for the recognition of human faces. They consist of three steps: feature extraction, solving the correspondence problem, and the actual comparison with st...
TLDI
2009
ACM
14 years 5 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...