562 search results - page 47 / 113 » Dependency Pairs Revisited |
103
Voted
JAR
2006
15 years 1 months ago
2006
To simplify the task of proving termination and AC-termination of term rewriting systems, elimination transformations have been vigorously studied since the 1990's. Dummy elim...
135
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: With microarray technology the expression of thousands of genes can be measured simultaneously. It is well known that the expression levels of genes of interacting pro...
ICIP
2003
IEEE
16 years 3 months ago
2003
IEEE
In this paper, we investigate the use of the coupled hidden Markov models (CHMM) for the task of audio-visual text dependent speaker identification. Our system determines the iden...
115
click to vote
EUROCRYPT
2009
Springer
16 years 2 months ago
2009
Springer
A group key agreement (GKA) protocol allows a set of users to establish a common secret via open networks. Observing that a major goal of GKAs for most applications is to establish...
112
Voted
ICDCS
2008
IEEE
15 years 8 months ago
2008
IEEE
Internet coordinate systems have emerged as an efficient method to estimate the latency between pairs of nodes without any communication between them. However, most coordinate sy...