2008 search results - page 217 / 402 » Computing with Equations |
151
Voted
VC
2010
14 years 10 months ago
2010
Abstract Three-dimensional (3D) representations of complex geometric shapes, especially when they are reconstructed from magnetic resonance imaging (MRI) and computed tomography (C...
118
click to vote
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
151
click to vote
BMVC
2000
15 years 5 months ago
2000
This paper describes a novel approach for recovering the structure and motion of a rigid textured surface from an image sequence. Camera focal length is also recovered, yielding m...
126
click to vote
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
116
Voted
ACISP
2005
Springer
15 years 9 months ago
2005
Springer
We deal with a divisor class halving algorithm on hyperelliptic curve cryptosystems (HECC), which can be used for scalar multiplication, instead of a doubling algorithm. It is not ...