10891 search results - page 141 / 2179 » Combining Model Reductions |
130
click to vote
LISP
2006
15 years 3 months ago
2006
The last few years have seen the development of the rewriting calculus (also called rho-calculus or -calculus) that uniformly integrates first-order term rewriting and the -calculu...
136
click to vote
ICML
2007
IEEE
16 years 4 months ago
2007
IEEE
Non-linear dimensionality reduction of noisy data is a challenging problem encountered in a variety of data analysis applications. Recent results in the literature show that spect...
127
click to vote
ATS
2005
IEEE
15 years 9 months ago
2005
IEEE
Power reduction during test application is important from the viewpoint of chip reliability and for obtaining correct test results. One of the ways to reduce scan test power is to...
113
click to vote
ACNS
2005
Springer
15 years 8 months ago
2005
Springer
Amongst provably secure signature schemes, two distinct classes are of particular interest: the ones with tight reduction (e.g., RSA-PSS), and those which support the use of coupon...
ICCAD
2006
IEEE
16 years 5 days ago
2006
IEEE
— Trajectory-based methods offer an attractive methodology for automated, on-demand generation of macromodels for custom circuits. These models are generated by sampling the stat...