3454 search results - page 78 / 691 » Modern computer algebra |
205
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
145
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
This is an example of C++ code of Clifford algebra calculations with the GiNaC computer algebra system. This code makes both symbolic and numeric computations. It was used to produ...
141
Voted
CISST
2003
15 years 7 months ago
2003
This paper addresses computational efficiency issues of a new algebraic method for imagery registration/conflation. An algebraic approach to conflation/registration of images does ...
143
click to vote
CSJM
2008
15 years 6 months ago
2008
The notion of real radicals is a fundamental tool in Real Algebraic Geometry. It takes the role of the radical ideal in Complex Algebraic Geometry. In this article I shall describ...
162
click to vote
MM
2006
ACM
15 years 12 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...