Sciweavers

6045 search results - page 214 / 1209
» Computable Linearizations of Well-partial-orderings
Sort
View
EUROPAR
1998
Springer
14 years 15 days ago
Parallel Sparse Matrix Computations Using the PINEAPL Library: A Performance Study
Abstract. The Numerical Algorithms Group Ltd is currently participating in the European HPCN Fourth Framework project on Parallel Industrial NumErical Applications and Portable Lib...
Arnold R. Krommer

Source Code
441views
15 years 6 months ago
Octave
"GNU Octave is a high-level language, primarily intended for numerical computations. It provides a convenient command line interface for solving linear and nonlinear problems ...
DCC
2006
IEEE
14 years 7 months ago
Codes with a Certain Weight-preserving Transitive Group of Automorphisms
We determine all linear codes C containing the constant code E, for which there is a weight-preserving group of semilinear automorphisms which acts transitively on the set of nont...
Michael Giudici
ACL2
2006
ACM
14 years 2 months ago
Memories: array-like records for ACL2
We have written a new records library for modelling fixedsize arrays and linear memories. Our implementation provides fixnum-optimized O(log2 n) reads and writes from ad
Jared Davis
ICML
2003
IEEE
14 years 9 months ago
Marginalized Kernels Between Labeled Graphs
A new kernel function between two labeled graphs is presented. Feature vectors are defined as the counts of label paths produced by random walks on graphs. The kernel computation ...
Hisashi Kashima, Koji Tsuda, Akihiro Inokuchi