3545 search results - page 140 / 709 » Computational methods for case-cohort studies |
152
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
A key to improving at any task is frequent feedback from people whose opinions we care about: our family, friends, mentors, and the experts. However, such input is not usually ava...
163
click to vote
CSB
2003
IEEE
15 years 11 months ago
2003
IEEE
Reverse-engineering of gene networks using linear models often results in an underdetermined system because of excessive unknown parameters. In addition, the practical utility of ...
167
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Mass spectrometry has become the analytical method of choice in metabolomics research. The identification of unknown compounds is the main bottleneck. In addition to t...
164
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
184
click to vote
CIS
2005
Springer
16 years 20 hour ago
2005
Springer
Recently, actor-critic methods have drawn much interests in the area of reinforcement learning, and several algorithms have been studied along the line of the actor-critic strategy...