290 search results - page 1 / 58 » On the relationship between squared pairings and plain pairi... |
IPL
2006
13 years 4 months ago
2006
In this paper, we investigate the relationship between the squared Weil/Tate pairing and the plain Weil/Tate pairing. Along these lines, we first show that the squared pairing for ...
AGILEDC
2004
IEEE
13 years 8 months ago
2004
IEEE
Through his law, "adding manpower to a late software project makes it later," Brooks asserts that the assimilation, training, and intercommunication costs of adding new ...
ICRA
2010
IEEE
13 years 3 months ago
2010
IEEE
— We have previously shown that hemispherical soft fingertips are at equilibrium when they are in contact with objects, suggesting that the contact force and flexibility of the...
GPCE
2005
Springer
13 years 10 months ago
2005
Springer
AAECC
2007
Springer
13 years 5 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...