2853 search results - page 371 / 571 » On Coherence in Computer Algebra |
132
Voted
RTA
2010
Springer
15 years 2 months ago
2010
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. They come in various flavors: polynomial interpretations with real, rational and...
139
click to vote
SIAMAM
2010
15 years 2 months ago
2010
Guided acoustic waves propagating along one- and two-dimensional arrays of rigid spheres are studied semi-analytically. The quasi-periodic wave field is constructed as a superposi...
158
click to vote
IANDC
2010
15 years 1 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
244
click to vote
ACCV
2010
Springer
14 years 11 months ago
2010
Springer
A method for affine rectification of a plane exploiting knowledge of relative scale changes is presented. The rectifying transformation is fully specified by the relative scale cha...
143
click to vote
IJIIDS
2010
14 years 11 months ago
2010
Abstract. This paper presents the semantics of database mappings in the relational database (DB) category, based on the power-view monad T and monadic algebras. The semantics can b...