Sciweavers

3443 search results - page 61 / 689
» More Algebras for Determiners
Sort
View
ESOP
2009
Springer
13 years 12 months ago
Handlers of Algebraic Effects
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...
Gordon D. Plotkin, Matija Pretnar
JMIV
2010
95views more  JMIV 2010»
13 years 6 months ago
Registration of 2D Points Using Geometric Algebra and Tensor Voting
In this paper, we present a novel algorithm that combines the power of expression of Geometric Algebra with the robustness of Tensor Voting to find the correspondences between two...
Leo Reyes-Lozano, Gérard G. Medioni, Eduard...
CORR
2010
Springer
179views Education» more  CORR 2010»
13 years 5 months ago
Algebraic Constructions of Graph-Based Nested Codes from Protographs
Nested codes have been employed in a large number of communication applications as a specific case of superposition codes, for example to implement binning schemes in the presence ...
Christine A. Kelley, Jörg Kliewer
ISSAC
2007
Springer
83views Mathematics» more  ISSAC 2007»
14 years 2 months ago
Parallel computation of the rank of large sparse matrices from algebraic K-theory
This paper deals with the computation of the rank and some integer Smith forms of a series of sparse matrices arising in algebraic K-theory. The number of non zero entries in the ...
Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pasc...
MICAI
2007
Springer
14 years 2 months ago
Optimizing Inference in Bayesian Networks and Semiring Valuation Algebras
Previous work on context-specific independence in Bayesian networks is driven by a common goal, namely to represent the conditional probability tables in a most compact way. In th...
Michael Wachter, Rolf Haenni, Marc Pouly