8094 search results - page 146 / 1619 » Improvements in Formula Generalization |
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper addresses the problem of characterizing
a general class of cameras under reasonable, “linear”
assumptions. Concretely, we use the formalism and
terminology of cla...
FROCOS
2005
Springer
14 years 2 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
EMSOFT
2010
Springer
13 years 6 months ago
2010
Springer
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
DCC
2011
IEEE
13 years 4 months ago
2011
IEEE
Using the structure of Singer cycles in general linear groups, we prove that a conjecture of Zeng, Han and He (2007) holds in the affirmative in a special case, and outline a plaus...
ARITH
2009
IEEE
14 years 4 months ago
2009
IEEE
A method for polynomial multiplication over finite fields using field extensions and polynomial interpolation is introduced. The proposed method uses polynomial interpolation a...