Sciweavers

1730 search results - page 158 / 346
» Algebra and Computation
Sort
View
IPPS
2003
IEEE
15 years 6 months ago
Towards a Theory of Bisimulation for a Fragment of Verilog
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
Li Yongjian, Jifeng He
90
Voted
ECCV
2006
Springer
15 years 4 months ago
The Space of Multibody Fundamental Matrices: Rank, Geometry and Projection
We study the rank and geometry of the multibody fundamental matrix, a geometric entity characterizing the two-view geometry of dynamic scenes consisting of multiple rigidbody moti...
Xiaodong Fan, René Vidal
124
Voted
JSC
2011
99views more  JSC 2011»
14 years 3 months ago
Sparse polynomial division using a heap
In 1974, Johnson showed how to multiply and divide sparse polynomials using a binary heap. This paper introduces a new algorithm that uses a heap to divide with the same complexit...
Michael B. Monagan, Roman Pearce
171
Voted
CASC
2011
Springer
262views Mathematics» more  CASC 2011»
14 years 1 months ago
Practical Divide-and-Conquer Algorithms for Polynomial Arithmetic
We investigate two practical divide-and-conquer style algorithms for univariate polynomial arithmetic. First we revisit an algorithm originally described by Brent and Kung for comp...
William Hart, Andrew Novocin
89
Voted
JSC
2007
119views more  JSC 2007»
15 years 29 days ago
Equisingular calculations for plane curve singularities
We present an algorithm which, given a deformation with section of a reduced plane curve singularity, computes equations for the equisingularity stratum (that is, the µ-constant s...
Antonio Campillo, Gert-Martin Greuel, Christoph Lo...