Sciweavers

152 search results - page 10 / 31
» {Algorithmic Minimal Sufficient Statistics: a New Definition
Sort
View
BMCBI
2010
118views more  BMCBI 2010»
13 years 7 months ago
Detecting lateral gene transfers by statistical reconciliation of phylogenetic forests
Background: To understand the evolutionary role of Lateral Gene Transfer (LGT), accurate methods are needed to identify transferred genes and infer their timing of acquisition. Ph...
Sophie S. Abby, Eric Tannier, Manolo Gouy, Vincent...
JMIV
2006
185views more  JMIV 2006»
13 years 7 months ago
Intrinsic Statistics on Riemannian Manifolds: Basic Tools for Geometric Measurements
In medical image analysis and high level computer vision, there is an intensive use of geometric features like orientations, lines, and geometric transformations ranging from simp...
Xavier Pennec
ICFP
2005
ACM
14 years 7 months ago
Witnessing side-effects
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
Tachio Terauchi, Alexander Aiken
AUTOMATICA
2006
63views more  AUTOMATICA 2006»
13 years 7 months ago
Inference of disjoint linear and nonlinear sub-domains of a nonlinear mapping
This paper investigates new ways of inferring nonlinear dependence from measured data. The existence of unique linear and nonlinear sub-spaces which are structural invariants of g...
Douglas J. Leith, William E. Leithead, Roderick Mu...
TOPLAS
2008
79views more  TOPLAS 2008»
13 years 6 months ago
Witnessing side effects
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
Tachio Terauchi, Alex Aiken