2853 search results - page 86 / 571 » On Coherence in Computer Algebra |
CORR
2008
Springer
14 years 10 months ago
2008
Springer
One of the main contributions which Volker Weispfenning made to mathematics is related to Gr
COLING
2010
14 years 4 months ago
2010
This paper investigates the impact of using different temporal algebras for learning temporal relations between events. Specifically, we compare three intervalbased algebras: Alle...
STOC
2005
ACM
15 years 10 months ago
2005
ACM
Computing the unit group and class group of a number field are two of the main tasks in computational algebraic number theory. Factoring integers reduces to solving Pell's eq...
FOCM
2008
14 years 10 months ago
2008
For an ideal I R[x] given by a set of generators, a new semidefinite characterization of its real radical I(VR(I)) is presented, provided it is zero-dimensional (even if I is not...
CVPR
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper presents a video resizing approach that provides both efficiency and temporal coherence. Prior approaches either sacrifice temporal coherence (resulting in jitter), o...