1400 search results - page 107 / 280 » On multiplication in finite fields |
ENTCS
2008
13 years 9 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
IBPRIA
2009
Springer
13 years 6 months ago
2009
Springer
We propose a novel statistical method for motion detection and background maintenance for a mobile observer. Our method is based on global motion estimation and statistical backgro...
ICPR
2002
IEEE
14 years 10 months ago
2002
IEEE
This paper introduces a novel method for generating an intermediate view of soccer scene taken by multiple video cameras. In the proposed method, soccer scene is classified into d...
ISMVL
2010
IEEE
14 years 1 months ago
2010
IEEE
—Fixed-point multiplication architectures are designed and evaluated using a set of logic cells based on a radix-4, quaternary number system. The library of logic circuits is bas...
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
Multilinear algebra is a powerful theoretical tool for visual
geometry, but widespread usage of traditional typographical
notation often hides its conceptual elegance and
simpli...