43264 search results - page 437 / 8653 » Comparing models of computation |
147
click to vote
IJCNN
2006
IEEE
15 years 11 months ago
2006
IEEE
—We present new results from Computational Neurogenetic Modeling to aid discoveries of complex gene interactions underlying oscillations in neural systems. Interactions of genes ...
154
click to vote
IUI
1999
ACM
15 years 9 months ago
1999
ACM
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
158
click to vote
AHS
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper introduces Perplexus, a European project that aims to develop a scalable hardware platform made of custom reconfigurable devices endowed with bio-inspired capabilities...
158
click to vote
IIE
2008
15 years 5 months ago
2008
Blended learning is becoming an attractive model in higher education as new innovative information technologies are becoming increasingly available. However, just blending face-to-...
184
click to vote
ENTCS
2006
15 years 5 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...