868 search results - page 121 / 174 » On Analog Signature Analysis |
TCC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
VLSM
2005
Springer
15 years 3 months ago
2005
Springer
We present a mathematical and computational feasibility study of the variational convex decomposition of 2D vector fields into coherent structures and additively superposed flow ...
WSC
2000
14 years 11 months ago
2000
An on-road analytical tire model has been developed to predict tire forces and moments at the tire/road interface. The model is computationally efficient and it only requires a li...
AUTOMATICA
2008
14 years 10 months ago
2008
It is due to the modularity they provide that results for cascaded systems have proved their utility in numerous control applications as well as in the development of general cont...
DATAMINE
2002
14 years 9 months ago
2002
Cubegrades are generalization of association rules which represent how a set of measures (aggregates) is affected by modifying a cube through specialization (rolldown), generaliza...