2502 search results - page 216 / 501 » Using probabilistic model checking in systems biology |
174
click to vote
ICCD
2003
IEEE
16 years 3 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
166
click to vote
IJCNN
2007
IEEE
16 years 25 days ago
2007
IEEE
— We constructed a new model of an olfactory system with expanded integrate and fire neurons to explore its behaviors with external inputs. The model is built in according to th...
168
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Human endogenous retroviruses (HERVs) are surviving traces of ancient retrovirus infections and now reside within the human DNA. Recently HERV expression has been dete...
179
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
We present a component-based, trainable system for detecting frontal and near-frontal views of faces in still gray images. The system consists of a two-level hierarchy of Support ...
211
click to vote
CSB
2005
IEEE
16 years 4 days ago
2005
IEEE
We developed a machine learning system for determining gene functions from heterogeneous sources of data sets using a Weighted Naive Bayesian Network (WNB). The knowledge of gene ...