2853 search results - page 243 / 571 » On Coherence in Computer Algebra |
163
click to vote
CAP
2010
15 years 1 days ago
2010
The multiplication of the sparse multivariate polynomials using the recursive representations is revisited to take advantage on the multicore processors. We take care of the memor...
164
Voted
TCS
2010
14 years 11 months ago
2010
A text is a word together with an additional linear order on it. We study quantitative models for texts, i.e. text series which assign to texts elements of a semiring. We introduc...
139
click to vote
WRLA
2010
15 years 3 months ago
2010
Abstract. If a set of equations E∪Ax is such that E is confluent, terminating, and coherent modulo Ax, narrowing with E modulo Ax provides a complete E∪Ax-unification algorit...
120
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
We consider nondeterministic and probabilistic termination problems in a process algebra that is equivalent to basic chemistry. We show that the existence of a terminating computat...
125
click to vote
DCC
2004
IEEE
16 years 4 months ago
2004
IEEE
A hybrid video coding scheme which combines fractal coding with neighbourhood vector quantisation is reported. While fractal coding exploits the redundancy present in different sc...