2774 search results - page 407 / 555 » Query-Driven Program Testing |
CSB
2003
IEEE
14 years 2 months ago
2003
IEEE
The problem addressed by this paper is accurate and automatic gene annotation following precise identification/annotation of exon and intron boundaries of biologically verified ...
CSB
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes a new strategy for designing degenerate primers for a given multiple alignment of amino acid sequences. Degenerate primers are useful for amplifying homologou...
SIGUCCS
2003
ACM
14 years 2 months ago
2003
ACM
St. Edward’s University has developed a web-based Computer Competency Program ensuring one standard of competency for a diverse student population. Over the past decade faculty ...
DSOM
2003
Springer
14 years 2 months ago
2003
Springer
Instead of relying completely on machine intelligence in anomaly event analysis and correlation, in this paper, we take one step back and investigate the possibility of a human-int...
EUROCRYPT
2003
Springer
14 years 2 months ago
2003
Springer
We introduce captcha, an automated test that humans can pass, but current computer programs can’t pass: any program that has high success over a captcha can be used to solve an u...