1222 search results - page 64 / 245 » A Bayesian Approach to Model Checking Biological Systems |
105
click to vote
ACSD
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Clock gating and operand isolation are two techniques to reduce the power consumption in state-of-the-art hardware designs. Both approaches basically follow a two-step pr...
137
click to vote
AOSE
2005
Springer
15 years 9 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
152
click to vote
ASPLOS
1996
ACM
15 years 8 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...
152
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: The post-genomic era has brought new challenges regarding the understanding of the organization and function of the human genome. Many of these challenges are centered...
143
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a new framework for accumulating beliefs in spoken dialogue systems. The technique is based on updating a Bayesian Network that represents the underlying state...