Sciweavers

3624 search results - page 132 / 725
» Abstract Algebraic Logic
Sort
View
179
Voted
AB
2008
Springer
15 years 11 months ago
Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
Abstract. Symbolic methods for investigating Hopf bifurcation problems of vector fields arising in the context of algebraic biology have recently obtained renewed attention. Howev...
Thomas Sturm, Andreas Weber 0004
135
Voted
CRYPTO
2005
Springer
104views Cryptology» more  CRYPTO 2005»
15 years 10 months ago
On the Discrete Logarithm Problem on Algebraic Tori
Abstract. Using a recent idea of Gaudry and exploiting rational representations of algebraic tori, we present an index calculus type algorithm for solving the discrete logarithm pr...
Robert Granger, Frederik Vercauteren
ECOOPW
1998
Springer
15 years 9 months ago
The Matrix Template Library: A Unifying Framework for Numerical Linear Algebra
Abstract. We present a uni ed approach for expressing high performance numerical linear algebra routines for a class of dense and sparse matrix formats and shapes. As with the Stan...
Jeremy G. Siek, Andrew Lumsdaine
PARLE
1993
15 years 9 months ago
A Parallel Programming Style and Its Algebra of Programs
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...
Chris Hankin, Daniel Le Métayer, David Sand...
CIVR
2006
Springer
144views Image Analysis» more  CIVR 2006»
15 years 8 months ago
A Linear-Algebraic Technique with an Application in Semantic Image Retrieval
Abstract. This paper presents a novel technique for learning the underlying structure that links visual observations with semantics. The technique, inspired by a text-retrieval tec...
Jonathon S. Hare, Paul H. Lewis, Peter G. B. Enser...