1677 search results - page 182 / 336 » On the Completeness of Quantum Computation Models |
166
click to vote
ISCAS
2007
IEEE
16 years 24 days ago
2007
IEEE
- This paper aims at discussing the implementation of simulation systems for SNN based on analog computation cores (neuromimetic ICs). Such systems are an alternative to completely...
177
click to vote
LICS
2007
IEEE
16 years 24 days ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
171
click to vote
DNA
2005
Springer
16 years 1 days ago
2005
Springer
The first step of the Adleman-Lipton extract model in DNA computing is the combinatorial generation of libraries. In this paper a new method is proposed for generating a initial p...
162
click to vote
ASM
2004
ASM
15 years 12 months ago
2004
ASM
tographic Abstract Machine Dean Rosenzweig and Davor Runje University of Zagreb The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of ...
167
click to vote
EKAW
2004
Springer
15 years 12 months ago
2004
Springer
Motivated by the need to extend features of semantic matchmaking between request and offer descriptions, a model is presented that exploits recently proposed non-standard inference...