Sciweavers

1709 search results - page 198 / 342
» networks 2000
Sort
View
FLAIRS
2000
13 years 11 months ago
A Case Study in the Mechanical Verification of Fault Tolerance
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
Heiko Mantel, Felix C. Gärtner
ISMB
2000
13 years 11 months ago
A Pragmatic Information Extraction Strategy for Gathering Data on Genetic Interactions
We present in this paper a pragmatic strategy to perform information extraction from biologic texts. Since the emergence of the information extraction field, techniques have evolv...
Denys Proux, François Rechenmann, Laurent J...
NIPS
2000
13 years 11 months ago
Stability and Noise in Biochemical Switches
Many processes in biology, from the regulation of gene expression in bacteria to memory in the brain, involve switches constructed from networks of biochemical reactions. Crucial ...
William Bialek
NIPS
2000
13 years 11 months ago
A Silicon Primitive for Competitive Learning
Competitive learning is a technique for training classification and clustering networks. We have designed and fabricated an 11transistor primitive, that we term an automaximizing ...
David Hsu, Miguel Figueroa, Chris Diorio
PDPTA
2000
13 years 11 months ago
MetaVM: A Transparent Distributed Object System Supported by Runtime Compiler
MetaVM is a distributed object system for Java virtual machine. It allows programmers to deal with remote objects in the same way they do local objects. Therefore, it can provide a...
Kazuyuki Shudo, Yoichi Muraoka