2203 search results - page 311 / 441 » Temporal Abstract Interpretation |
140
Voted
ICCD
1995
IEEE
15 years 7 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
131
Voted
NIPS
2004
15 years 5 months ago
2004
We propose a new interpretation of spiking neurons as Bayesian integrators accumulating evidence over time about events in the external world or the body, and communicating to oth...
162
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: A Signal transduction pathway is the chain of processes by which a cell converts an extracellular signal into a response. In most unicellular organisms, the number of ...
136
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: There are some limitations associated with conventional clustering methods for short time-course gene expression data. The current algorithms require prior domain know...
139
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Modeling of gene expression data from time course experiments often involves the use of linear models such as those obtained from principal component analysis (PCA), i...