2853 search results - page 167 / 571 » On Coherence in Computer Algebra |
183
click to vote
CSFW
2000
IEEE
15 years 9 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
145
click to vote
ITP
2010
15 years 6 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
115
click to vote
SIP
2003
15 years 5 months ago
2003
This paper presents an algebraic approach to construct Mband orthogonal wavelet bases. A system of constraint equations is obtained for M-band orthonormal filters, and then a solu...
144
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper we develop a general technique to eliminate the assumption of the Generalized Riemann Hypothesis (GRH) from various deterministic polynomial factoring algor...
135
click to vote
ENTCS
2006
15 years 4 months ago
2006
We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over...