759 search results - page 142 / 152 » Test case generator for GUITAR |
116
Voted
BMCBI
2007
15 years 25 days ago
2007
Background: Profile Hidden Markov Models (HMM) are statistical representations of protein families derived from patterns of sequence conservation in multiple alignments and have b...
90
Voted
IJCV
2008
15 years 21 days ago
2008
We present a new data set encoding localized semantics for 1014 images and a methodology for using this kind of data for recognition evaluation. This methodology establishes protoc...
96
Voted
TODAES
2002
15 years 10 days ago
2002
ct Cross-coupled noise analysis has become a critical concern in today's VLSI designs. Typically, noise analysis makes an assumption that all aggressing nets can simultaneousl...
112
click to vote
BMCBI
2007
15 years 21 days ago
2007
Background: Many protein sequences are still poorly annotated. Functional characterization of a protein is often improved by the identification of its interaction partners. Here, ...
101
Voted
SAS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...