Sciweavers

617 search results - page 49 / 124
» On properties of cell matrices
Sort
View
242
Voted
IFM
2010
Springer
183views Formal Methods» more  IFM 2010»
15 years 3 months ago
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
Javier de Dios, Manuel Montenegro, Ricardo Pe&ntil...
ECCV
1994
Springer
16 years 7 months ago
Canonic Representations for the Geometries of Multiple Projective Views
We show how a special decomposition of a set of two or three general projection matrices, called canonic enables us to build geometric descriptions for a system of cameras which a...
Quang-Tuan Luong, Thierry Viéville
ISSAC
2007
Springer
130views Mathematics» more  ISSAC 2007»
15 years 12 months ago
On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms
Algebraic randomization techniques can be applied to hybrid symbolic-numeric algorithms. Here we consider the problem of interpolating a sparse rational function from noisy values...
Erich Kaltofen, Zhengfeng Yang, Lihong Zhi
COLT
2005
Springer
15 years 11 months ago
On Spectral Learning of Mixtures of Distributions
We consider the problem of learning mixtures of distributions via spectral methods and derive a tight characterization of when such methods are useful. Specifically, given a mixt...
Dimitris Achlioptas, Frank McSherry
DSSCV
2005
Springer
15 years 11 months ago
A Riemannian Framework for the Processing of Tensor-Valued Images
In this paper, we present a novel framework to carry out computations on tensors, i.e. symmetric positive definite matrices. We endow the space of tensors with an affine-invariant...
Pierre Fillard, Vincent Arsigny, Nicholas Ayache, ...