237 search results - page 32 / 48 » Toward Verified Biological Models |
BVAI
2007
Springer
15 years 3 months ago
2007
Springer
In real life, visual learning is supposed to be a continuous process. Humans have an innate facility to recognize objects even under less-than-ideal conditions and to build robust ...
71
Voted
BIBE
2000
IEEE
15 years 2 months ago
2000
IEEE
—Differential interference contrast (DIC) microscopy is a powerful visualization tool used to study live biological cells. Its use, however, has been limited to qualitative obser...
RECOMB
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. The recent availability of large scale data sets profiling single nucleotide polymorphisms (SNPs) and gene expression across different human populations, has directed muc...
106
Voted
JMLR
2010
14 years 4 months ago
2010
Actor-Critic based approaches were among the first to address reinforcement learning in a general setting. Recently, these algorithms have gained renewed interest due to their gen...
109
click to vote
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...