Sciweavers

79 search results - page 13 / 16
» Symmetric Brace Algebras
Sort
View
GLOBECOM
2006
IEEE
14 years 1 months ago
Optimal Routing in the Worst-Case-Error Metric
— This paper considers the problem of finding the path with minimum (zero) worst possible number of errors in a network with V nodes where (1) some nodes are capable of correcti...
Edwin Soedarmadji
AMAST
2006
Springer
13 years 11 months ago
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
Alastair F. Donaldson, Alice Miller
ANTS
2010
Springer
216views Algorithms» more  ANTS 2010»
13 years 11 months ago
Efficient Pairing Computation with Theta Functions
In this paper, we present a new approach based on theta functions to compute Weil and Tate pairings. A benefit of our method, which does not rely on the classical Miller's alg...
David Lubicz, Damien Robert
FOCM
2007
94views more  FOCM 2007»
13 years 7 months ago
Trust-Region Methods on Riemannian Manifolds
A general scheme for trust-region methods on Riemannian manifolds is proposed and analyzed. Among the various approaches available to (approximately) solve the trust-region subpro...
Pierre-Antoine Absil, C. G. Baker, Kyle A. Galliva...
ICDE
1997
IEEE
114views Database» more  ICDE 1997»
14 years 9 months ago
Modeling Multidimensional Databases
We propose a data model and a few algebraic operations that provide semantic foundation to multidimensional databases. The distinguishing feature of the proposed model is the symm...
Rakesh Agrawal, Ashish Gupta, Sunita Sarawagi