7167 search results - page 87 / 1434 » A Technique for Invariant Generation |
143
click to vote
IMA
2009
Springer
16 years 22 days ago
2009
Springer
The Rayleigh quotient of a bent function is an invariant under the action of the orthogonal group, and it measures the distance of the function to its dual. An efficient algorithm ...
135
click to vote
GLVLSI
2002
IEEE
15 years 11 months ago
2002
IEEE
A compact delay model for series connected MOSFETs has been derived. This model enables accurate prediction of worst-case delay of different logic families such as dynamic logic. ...
160
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
For p n, let b (n) 1 , . . . , b (n) p be independent random vectors in Rn with the same distribution invariant by rotation and without mass at the origin. Almost surely these vec...
153
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
151
click to vote
ICASSP
2009
IEEE
16 years 28 days ago
2009
IEEE
The algebraic theory of finite groups appears in signal processing problems involving the statistical analysis of ranked data and the construction of invariants for pattern recog...