1677 search results - page 154 / 336 » On the Completeness of Quantum Computation Models |
224
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
SystemC is a popular modeling language which can be used to specify systems at bstraction level. Currently, SystemC tools can not cope with SystemC models for which the module hie...
167
click to vote
IWANN
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. A spiking neural network modeling the cerebellum is presented. The model, consisting of more than 2000 conductance-based neurons and more than 50 000 synapses, runs in re...
174
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Successful realization of a "systems biology" approach to analyzing cells is a grand challenge for our understanding of life. However, current modeling appro...
159
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Detecting an object part relies on two sources of information - the appearance of the part itself, and the context supplied by surrounding parts. In this paper we consider problem...
165
click to vote
CAV
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...