Sciweavers

1997 search results - page 304 / 400
» On the convergence of Hill's method
Sort
View
SAS
2010
Springer
149views Formal Methods» more  SAS 2010»
15 years 3 days ago
Boxes: A Symbolic Abstract Domain of Boxes
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
Arie Gurfinkel, Sagar Chaki
ACL
2010
14 years 11 months ago
Blocked Inference in Bayesian Tree Substitution Grammars
Learning a tree substitution grammar is very challenging due to derivational ambiguity. Our recent approach used a Bayesian non-parametric model to induce good derivations from tr...
Trevor Cohn, Phil Blunsom
ICDM
2010
IEEE
122views Data Mining» more  ICDM 2010»
14 years 11 months ago
Learning Preferences with Millions of Parameters by Enforcing Sparsity
We study the retrieval task that ranks a set of objects for a given query in the pairwise preference learning framework. Recently researchers found out that raw features (e.g. word...
Xi Chen, Bing Bai, Yanjun Qi, Qihang Lin, Jaime G....
MICCAI
2010
Springer
14 years 11 months ago
Extraction of the Plane of Minimal Cross-Sectional Area of the Corpus Callosum Using Template-Driven Segmentation
Abstract. Changes in corpus callosum (CC) size are typically quantified in clinical studies by measuring the CC cross-sectional area on a midsagittal plane. We propose an alternati...
Neda Changizi, Ghassan Hamarneh, Omer Ishaq, Aaron...
112
Voted
CIMAGING
2009
130views Hardware» more  CIMAGING 2009»
14 years 11 months ago
Quantitative phase and amplitude imaging using Differential-Interference Contrast (DIC) microscopy
We present an extension of the development of an alternating minimization (AM) method1 for the computation of a specimen's complex transmittance function (magnitude and phase...
Chrysanthe Preza, Joseph A. O'Sullivan