Sciweavers

1901 search results - page 97 / 381
» Predicting Program Properties from
Sort
View
114
Voted
BMCBI
2007
104views more  BMCBI 2007»
15 years 2 months ago
TISs-ST: a web server to evaluate polymorphic translation initiation sites and their reflections on the secretory targets
Background: The nucleotide sequence flanking the translation initiation codon (start codon context) affects the translational efficiency of eukaryotic mRNAs, and may indicate the ...
Renato Vicentini, Marcelo Menossi
121
Voted
MP
2010
156views more  MP 2010»
15 years 1 months ago
Representing the space of linear programs as the Grassmann manifold
: Each linear program (LP) has an optimal basis. The space of linear programs can be partitioned according to these bases, so called the basis partition. Discovering the structures...
Gongyun Zhao
96
Voted
ECIR
2009
Springer
15 years 12 months ago
Choosing the Best MT Programs for CLIR Purposes - Can MT Metrics Be Helpful?
Abstract. This paper describes usage of MT metrics in choosing the best candidates for MT-based query translation resources. Our main metrics is METEOR, but we also use NIST and BL...
Kimmo Kettunen
116
Voted
WOLLIC
2010
Springer
15 years 6 months ago
A CTL-Based Logic for Program Abstractions
sed Logic for Program Abstractions Martin Lange1 and Markus Latte2 1 Dept. of Computer Science, University of Kassel, Germany 2 Dept. of Computer Science, Ludwig-Maximilians-Univer...
Martin Lange, Markus Latte
125
Voted
ISCA
2000
IEEE
121views Hardware» more  ISCA 2000»
15 years 7 months ago
Selective, accurate, and timely self-invalidation using last-touch prediction
Communication in cache-coherent distributed shared memory (DSM) often requires invalidating (or writing back) cached copies of a memory block, incurring high overheads. This paper...
An-Chow Lai, Babak Falsafi