Sciweavers

3443 search results - page 16 / 689
» More Algebras for Determiners
Sort
View
JMIV
2008
118views more  JMIV 2008»
13 years 8 months ago
Recognising Algebraic Surfaces from Two Outlines
Photographic outlines of 3 dimensional solids are robust and rich in information useful for surface reconstruction. This paper studies algebraic surfaces viewed from 2 cameras with...
Simon Collings, Ryszard Kozera, Lyle Noakes
AISC
1998
Springer
14 years 5 days ago
Reasoning About Coding Theory: The Benefits We Get from Computer Algebra
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
Clemens Ballarin, Lawrence C. Paulson
ICASSP
2008
IEEE
14 years 2 months ago
Density geodesics for similarity clustering
We address the problem of similarity metric selection in pairwise affinity clustering. Traditional techniques employ standard algebraic context-independent sample-distance measur...
Umut Ozertem, Deniz Erdogmus, Miguel Á. Car...
ANTS
2010
Springer
262views Algorithms» more  ANTS 2010»
13 years 12 months ago
Short Bases of Lattices over Number Fields
Lattices over number elds arise from a variety of sources in algorithmic algebra and more recently cryptography. Similar to the classical case of Z-lattices, the choice of a nice,...
Claus Fieker, Damien Stehlé
FMCAD
2000
Springer
13 years 11 months ago
Visualizing System Factorizations with Behavior Tables
Abstract. Behavior tables are a design formalization intended to support interactive design derivation for hardware and embedded systems. It is a reformulation of the DDD transform...
Alex Tsow, Steven D. Johnson