Sciweavers

3251 search results - page 82 / 651
» On a vector q-d algorithm
Sort
View
FOCM
2002
108views more  FOCM 2002»
15 years 1 months ago
Geometric Integration Algorithms on Homogeneous Manifolds
Given an ordinary differential equation on a homogeneous manifold, one can construct a "geometric integrator" by determining a compatible ordinary differential equation ...
Debra Lewis, Peter J. Olver
CALC
2001
Springer
161views Cryptology» more  CALC 2001»
15 years 6 months ago
The Shortest Vector Problem in Lattices with Many Cycles
In this paper we investigate how the complexity of the shortest vector problem in a lattice Λ depends on the cycle structure of the additive group Zn /Λ. We give a proof that the...
Mårten Trolin
TACAS
2010
Springer
178views Algorithms» more  TACAS 2010»
15 years 8 months ago
An Alternative to SAT-Based Approaches for Bit-Vectors
The theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification. Standard solv...
Sébastien Bardin, Philippe Herrmann, Floria...
FGR
2006
IEEE
297views Biometrics» more  FGR 2006»
15 years 7 months ago
Automatic Skin Segmentation for Gesture Recognition Combining Region and Support Vector Machine Active Learning
Skin segmentation is the cornerstone of many applications such as gesture recognition, face detection, and objectionable image filtering. In this paper, we attempt to address the ...
Junwei Han, George Awad, Alistair Sutherland, Hai ...
ICMCS
2006
IEEE
105views Multimedia» more  ICMCS 2006»
15 years 7 months ago
Entropy and Memory Constrained Vector Quantization with Separability Based Feature Selection
An iterative model selection algorithm is proposed. The algorithm seeks relevant features and an optimal number of codewords (or codebook size) as part of the optimization. We use...
Sangho Yoon, Robert M. Gray