478 search results - page 11 / 96 » Context-Sensitive Dependency Pairs |
DAGSTUHL
2007
15 years 1 months ago
2007
Abstract. The dependency pair technique is a powerful modular method for automated termination proofs of term rewrite systems. We first show that dependency pairs are also suitabl...
101
click to vote
APWEB
2010
Springer
15 years 3 months ago
2010
Springer
Given a set of records, a threshold value t and a similarity function, we investigate the problem of finding all pairs of records such that similarity between each pair is above t....
LATINCRYPT
2010
14 years 10 months ago
2010
A common scenario in many pairing-based cryptographic protocols is that one argument in the pairing is fixed as a long term secret key or a constant parameter in the system. In th...
100
click to vote
ADHOCNOW
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The Bluetooth wireless technology realizes a low-cost shortrange wireless voice- and data-connection through radio propagation. Bluetooth also has a security architecture...
101
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: Evolutionary distances are a critical measure in comparative genomics and molecular evolutionary biology. A simulation study was used to examine the effect of alignmen...