2853 search results - page 159 / 571 » On Coherence in Computer Algebra |
139
click to vote
CORR
2012
Springer
14 years 5 days ago
2012
Springer
Abstract. Let R be a real closed field and D ⊂ R an ordered domain. We give an algorithm that takes as input a polynomial Q ⊂ D[X1, . . . , Xk], and computes a description of ...
120
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
The ability to generate narrative is of importance to computer systems that wish to use story effectively for entertainment, training, or education. We identify two properties of ...
136
click to vote
ICCV
2001
IEEE
16 years 6 months ago
2001
IEEE
We introduce a number of new results in the context of multi-view geometry from general algebraic curves. We start with the derivation of the extended Kruppa's equations whic...
128
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—The synchronous model of computation together with a suitable execution platform facilitates system-level timing predictability. This paper introduces an algebraic framework for...
150
click to vote
STACS
2009
Springer
15 years 9 months ago
2009
Springer
We consider the problem of uniform sampling of points on an algebraic variety. Specifically, we develop a randomized algorithm that, given a small set of multivariate polynomials ...