Sciweavers

6750 search results - page 832 / 1350
» Performance Analysis Framework for Layout Analysis Methods
Sort
View
ENTCS
2010
208views more  ENTCS 2010»
15 years 4 months ago
Accelerated Invariant Generation for C Programs with Aspic and C2fsm
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
Paul Feautrier, Laure Gonnord
ICML
2006
IEEE
16 years 7 months ago
Bayesian regression with input noise for high dimensional data
This paper examines high dimensional regression with noise-contaminated input and output data. Goals of such learning problems include optimal prediction with noiseless query poin...
Jo-Anne Ting, Aaron D'Souza, Stefan Schaal
ISBI
2006
IEEE
16 years 7 months ago
Bayesian tracking for fluorescence microscopic imaging
Fluorescence microscopy is a powerful imaging tool for studying molecular dynamics in living cells. For quantitative motion analysis of subcellular structures robust and accurate ...
Ihor Smal, Wiro J. Niessen, Erik H. W. Meijering
RECOMB
2001
Springer
16 years 7 months ago
Class discovery in gene expression data
Recent studies (Alizadeh et al, [1]; Bittner et al,[5]; Golub et al, [11]) demonstrate the discovery of putative disease subtypes from gene expression data. The underlying computa...
Amir Ben-Dor, Nir Friedman, Zohar Yakhini
SMI
2008
IEEE
16 years 1 months ago
Polygonizing skeletal sheets of CT-scanned objects by partitioin of unity approximations
The skeletal structures of solid objects play an important role in medical and industrial applications. Given a volumetrically sampled solid object, our method extracts a nice-loo...
Yukie Nagai, Yutaka Ohtake, Kiwamu Kase, Hiromasa ...