10568 search results - page 1913 / 2114 » Computer Intelligence and Formalization |
169
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: High-throughput re-sequencing, new genotyping technologies and the availability of reference genomes allow the extensive characterization of Single Nucleotide Polymorp...
182
Voted
BMCBI
2011
14 years 10 months ago
2011
Background: Automated, image based high-content screening is a fundamental tool for discovery in biological science. Modern robotic fluorescence microscopes are able to capture th...
143
Voted
AIPS
2011
14 years 7 months ago
2011
Engineering complete planning domain descriptions is often very costly because of human error or lack of domain knowledge. Learning complete domain descriptions is also very chall...
158
Voted
ASE
2011
14 years 7 months ago
2011
Abstract To improve software quality, static or dynamic defect-detection tools accept programming rules as input and detect their violations in software as defects. As these progra...
196
Voted
AMAI
2011
Springer
14 years 3 months ago
2011
Springer
A multi-armed bandit episode consists of n trials, each allowing selection of one of K arms, resulting in payoff from a distribution over [0, 1] associated with that arm. We assum...