9626 search results - page 1536 / 1926 » Invariant Based Programming |
189
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The functional annotation of proteins relies on published information concerning their close and remote homologues in sequence databases. Evidence for remote sequence ...
178
click to vote
ESE
2006
15 years 6 months ago
2006
This paper presents results from a comparative evaluation of five combination strategies. Combination strategies are test case selection methods that combine "interesting&quo...
208
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Ranked gene lists from microarray experiments are usually analysed by assigning significance to predefined gene categories, e.g., based on functional annotations. Tool...
248
click to vote
ICSE
2007
IEEE-ACM
16 years 29 days ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
296
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Abstract-- A decomposition of a binary matrix into two matrices gives a set of basis vectors and their appropriate combination to form the original matrix. Such decomposition solut...