Sciweavers

922 search results - page 116 / 185
» On a Generalization of the Stone-Weierstrass Theorem
Sort
View
ICPR
2008
IEEE
16 years 19 days ago
Linear time recognition algorithms for topological invariants in 3D
In this paper, we design linear time algorithms to recognize and determine topological invariants such as genus and homology groups in 3D. These invariants can be used to identify...
Li Chen, Yongwu Rong
ISSAC
2007
Springer
108views Mathematics» more  ISSAC 2007»
16 years 10 days ago
Minimum converging precision of the QR-factorization algorithm for real polynomial GCD
Shirayanagi and Sweedler proved that a large class of algorithms over the reals can be modified slightly so that they also work correctly on fixed-precision floating-point numb...
Pramook Khungurn, Hiroshi Sekigawa, Kiyoshi Shiray...
PEPM
2007
ACM
16 years 9 days ago
Partial evaluation of Maple
Having been convinced of the potential benefits of partial evaluation, we wanted to conduct some experiments in our favourite Computer Algebra System, Maple. Maple is a large lan...
Jacques Carette, Michael Kucera
ACL2
2006
ACM
16 years 5 days ago
Phylogenetic trees in ACL2
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
Warren A. Hunt Jr., Serita M. Nelesen
MMSEC
2006
ACM
167views Multimedia» more  MMSEC 2006»
16 years 4 days ago
Hermite polynomials as provably good functions to watermark white gaussian hosts
In the watermark detection scenario, also known as zero-bit watermarking, a watermark, carrying no hidden message, is inserted in content. The watermark detector checks for the pr...
Teddy Furon