207 search results - page 13 / 42 » Canonical Forms for Data-Specifications |
102
click to vote
JFP
2007
14 years 9 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
WAN
1998
Springer
15 years 1 months ago
1998
Springer
We consider parallel algorithms for computing the Hermite normal form of matrices over Euclidean rings. We use standard types of reduction methods which are the basis of many algor...
APPML
2010
14 years 9 months ago
2010
In this paper, we determine the critical time, when a weak discontinuity in the shallow water equations culminates into a bore. Invariance group properties of the governing system...
105
click to vote
CORR
2007
Springer
14 years 9 months ago
2007
Springer
Given multivariate time series, we study the problem of forming portfolios with maximum mean reversion while constraining the number of assets in these portfolios. We show that it...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—Fast multiplication can be achieved by using canonical signed digit (CSD) to speed-up computations. Conversion to CSD is needed when the multiplier is not known a priori...