Results 51 to 60 of about 514,330 (88)
Tensor Decomposition for Fast Parsing with Latent-Variable PCFGs [PDF]
, 2012 We describe an approach to speed-up inference with latent-variable PCFGs, whichhave been shown to be highly effective for natural language parsing. Our approachis based on a tensor formulation recently introduced for spectral estimation oflatent-variable
Collins, Michael, Cohen, Shay
core
Map Calculus in GIS: a proposal and demonstration [PDF]
, 2004 This paper provides a new representation for fields (continuous surfaces) in Geographical Information Systems (GIS), based on the notion of spatial functions and their combinations.
Haklay, M
core
Tensor spaces and exterior algebra
, 1992 This book explains, as clearly as possible, tensors and such related topics as tensor products of vector spaces, tensor algebras, and exterior algebras. You will appreciate Yokonuma's lucid and methodical treatment of the subject.
Yokonuma, Takeo
core
Identities in the Algebra of Partial Maps [PDF]
, 2005 We consider the identities of a variety of semigroup-related algebras modelling the algebra of partial maps. We show that the identities are intimately related to a weak semigroup deductive system and we show that the equational theory is decidable.
Marcel Jackson +3 more
core +1 more source
Tensor product of correspondence functors [PDF]
, 2019 As part of the study of correspondence functors, the present paper investigates their tensor product and proves some of its main properties. In particular, the correspondence functor associated to a finite lattice has the structure of a commutative ...
Thévenaz, Jacques, Bouc, Serge
core +2 more sources
Model checking probabilistic and stochastic extensions of the pi-calculus [PDF]
, 2009 We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility.
Parker, D. +7 more
core +1 more source
Free integro-differential algebras and Groebner-Shirshov bases [PDF]
, 2014 The notion of commutative integro-differential algebra was introduced for the algebraic study of boundary problems for linear ordinary differential equations. Its noncommutative analog achieves a similar purpose for linear systems of such equations.
Guo, Li +5 more
core +1 more source
A global theory of algebras of generalized functions II: tensor distributions
, 2012 We extend the construction of [19] by introducing spaces of generalized tensor fields on smooth manifolds that possess optimal embedding and consistency properties with spaces of tensor distributions in the sense of L. Schwartz.
Steinbauer, Roland +3 more
core +1 more source
Krylov-type methods for tensor computations I
, 2013 Several Krylov-type procedures are introduced that generalize matrix Krylov methods for tensor computations. They are denoted minimal Krylov recursion, maximal Krylov recursion, and contracted tensor product Krylov recursion.
Lars Eldén +5 more
core +1 more source
On almost sure identifiability of non multilinear tensor decomposition
, 2014 International audienceUniqueness of tensor decompositions is of crucial importance in numerous engineering applications. Extensive work in algebraic geometry has given various bounds involving tensor rank and dimensions to ensure generic identifiability.
Cohen, Jérémy, +2 more
core