3038 search results - page 315 / 608 » High-Speed Function Approximation |
174
click to vote
TYPES
1999
Springer
15 years 11 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
134
click to vote
ISCAS
1993
IEEE
15 years 10 months ago
1993
IEEE
The existence of nonsymmetric generalized half-band lowpass and highpass FIR filters with maximally flat magnitude and group delay characteristics is proved. Like their linear-p...
131
Voted
COLT
1992
Springer
15 years 10 months ago
1992
Springer
In this paper we initiatean investigationof generalizationsof the ProbablyApproximatelyCorrect (PAC) learningmodelthat attemptto significantlyweakenthe target functionassumptions.T...
146
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
We demonstrate a physically-based technique for predicting the drape of a wide variety of woven fabrics. The approach exploits a theoretical model that explicitly represents the m...
167
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
As process technology continues to scale into the nanoscale regime, interconnect plays an ever increasing role in determining VLSI system performance. As the complexity of these sy...