747 search results - page 4 / 150 » Theory and Construction of Molecular Computers |
AAAI
1990
13 years 8 months ago
1990
Troubleshooting problems in real manufacturing environments impose constraints on admissible solutions that make the computational solutions offered by "troubleshooting from ...
GRC
2007
IEEE
13 years 11 months ago
2007
IEEE
CIE
2006
Springer
13 years 11 months ago
2006
Springer
G
ICNC
2005
Springer
14 years 29 days ago
2005
Springer
In this paper, after a new DNA-based semantic model is theoretically proposed, the preliminary experiment on construction of the small test model is successfully done. This model, ...
CHI
2006
ACM
14 years 7 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...