Sciweavers

463 search results - page 48 / 93
» Using Observation and Refinement to Improve Distributed Syst...
Sort
View
142
Voted
BMCBI
2006
172views more  BMCBI 2006»
15 years 2 months ago
A novel scoring schema for peptide identification by searching protein sequence databases using tandem mass spectrometry data
Background: Tandem mass spectrometry (MS/MS) is a powerful tool for protein identification. Although great efforts have been made in scoring the correlation between tandem mass sp...
Zhuo Zhang, Shiwei Sun, Xiaopeng Zhu, Suhua Chang,...
133
Voted
SAT
2005
Springer
162views Hardware» more  SAT 2005»
15 years 8 months ago
Heuristics for Fast Exact Model Counting
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
Tian Sang, Paul Beame, Henry A. Kautz
104
Voted
AINA
2007
IEEE
15 years 9 months ago
Symbiotic Audio Communication on Interactive Transport
Congestion control for compressed audio is a nontrivial pursuit. Audio perception is highly susceptible to disturbance in temporal quality. We recently proposed and implemented a ...
Javed I. Khan, Olufunke I. Olaleye
EMNLP
2009
15 years 10 days ago
Recognizing Textual Relatedness with Predicate-Argument Structures
In this paper, we first compare several strategies to handle the newly proposed three-way Recognizing Textual Entailment (RTE) task. Then we define a new measurement for a pair of...
Rui Wang 0005, Yi Zhang 0003
135
Voted
ICDCS
2008
IEEE
15 years 9 months ago
PFC: Transparent Optimization of Existing Prefetching Strategies for Multi-Level Storage Systems
The multi-level storage architecture has been widely adopted in servers and data centers. However, while prefetching has been shown as a crucial technique to exploit the sequentia...
Zhe Zhang, Kyuhyung Lee, Xiaosong Ma, Yuanyuan Zho...