3779 search results - page 498 / 756 » Linear Consistency Testing |
164
click to vote
CHI
2006
ACM
16 years 5 months ago
2006
ACM
The widespread availability of broadband connections has led to an increase in the use of Internet broadcasting (webcasting). Most webcasts are archived and accessed numerous time...
138
Voted
RECOMB
2008
Springer
16 years 5 months ago
2008
Springer
We developed Gr?mlin 2.0, a new multiple network aligner with (1) a novel scoring function that can use arbitrary features of a multiple network alignment, such as protein deletion...
126
click to vote
ECIR
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper, we examine a number of newly applied methods for combining pre-retrieval query performance predictors in order to obtain a better prediction of the query...
141
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
— In deep sub-micron technologies, process variations can cause significant path delay and clock skew uncertainties thereby lead to timing failure and yield loss. In this paper,...
165
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...