758 search results - page 102 / 152 » Coding Exon Detection Using Comparative Sequences |
JSS
2000
13 years 11 months ago
2000
The basic motivation for software inspections is to detect and remove defects before they propagate to subsequent development phases where their detection and removal becomes more...
ISSTA
2010
ACM
14 years 1 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
HEURISTICS
2008
13 years 11 months ago
2008
Instruction scheduling is an important step for improving the performance of object code produced by a compiler. A fundamental problem that arises in instruction scheduling is to ...
BMCBI
2010
13 years 11 months ago
2010
Background: Homology is a crucial concept in comparative genomics. The algorithm probably most widely used for homology detection in comparative genomics, is BLAST. Usually a stri...
ICMCS
2005
IEEE
14 years 4 months ago
2005
IEEE
We propose the use of attentional cascades based on the DCT and motion information contained in an MPEG coded stream. An attentional cascade is a sequence of very efficient class...