Sciweavers

43 search results - page 3 / 9
» Elementary Algebraic Specifications of the Rational Complex ...
Sort
View
ICDE
1999
IEEE
109views Database» more  ICDE 1999»
14 years 7 months ago
On the Semantics of Complex Events in Active Database Management Systems
Active database management systems have been developed for applications needing an automatic reaction in response to certain events. Events can be simple in nature or complex. Com...
Detlef Zimmer, Rainer Unland
ISSAC
2005
Springer
115views Mathematics» more  ISSAC 2005»
13 years 11 months ago
Half-GCD and fast rational recovery
Over the past few decades several variations on a “half GCD” algorithm for obtaining the pair of terms in the middle of a Euclidean sequence have been proposed. In the integer...
Daniel Lichtblau
CORR
2007
Springer
124views Education» more  CORR 2007»
13 years 5 months ago
Interpolation in Valiant's theory
We investigate the following question: if a polynomial can be evaluated at rational points by a polynomial-time boolean algorithm, does it have a polynomial-size arithmetic circuit...
Pascal Koiran, Sylvain Perifel
ANTS
2010
Springer
260views Algorithms» more  ANTS 2010»
13 years 9 months ago
On the Complexity of the Montes Ideal Factorization Algorithm
Let p be a rational prime and let Φ(X) be a monic irreducible polynomial in Z[X], with nΦ = deg Φ and δΦ = vp(disc Φ). In [13] Montes describes an algorithm for the decomposi...
David Ford, Olga Veres
STOC
2010
ACM
204views Algorithms» more  STOC 2010»
14 years 3 months ago
On the Hardness of the Noncommutative Determinant
In this paper we study the computational complexity of computing the noncommutative determinant. We first consider the arithmetic circuit complexity of computing the noncommutativ...
Vikraman Arvind and Srikanth Srinivasan