2853 search results - page 21 / 571 » On Coherence in Computer Algebra |
IPPS
1993
IEEE
14 years 28 days ago
1993
IEEE
CAAP
1990
14 years 26 days ago
1990
One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A 6 B are interpreted via conversion functions A B. ...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
We propose a principled framework to model persistent motion in dynamic scenes. In contrast to previous efforts on object tracking and optical flow estimation that focus on local...
BIOCOMP
2006
13 years 10 months ago
2006
The use of computer algebra software has many applications in diverse fields like epidemiology. This work pretends to show how computer algebra software applications for symbolic ...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decompos...