Sciweavers

149 search results - page 24 / 30
» The Derivational Complexity Induced by the Dependency Pair M...
Sort
View
PLDI
2011
ACM
12 years 10 months ago
Systematic editing: generating program transformations from an example
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
Na Meng, Miryung Kim, Kathryn S. McKinley
ICDM
2008
IEEE
156views Data Mining» more  ICDM 2008»
14 years 1 months ago
Exploiting Local and Global Invariants for the Management of Large Scale Information Systems
This paper presents a data oriented approach to modeling the complex computing systems, in which an ensemble of correlation models are discovered to represent the system status. I...
Haifeng Chen, Haibin Cheng, Guofei Jiang, Kenji Yo...
CAD
2005
Springer
13 years 7 months ago
Bayesian computer-aided experimental design of heterogeneous scaffolds for tissue engineering
This paper presents a Bayesian methodology for computer-aided experimental design of heterogeneous scaffolds for tissue engineering applications. These heterogeneous scaffolds hav...
Lee E. Weiss, Cristina H. Amon, Susan Finger, Eric...
IWVF
2001
Springer
13 years 12 months ago
The Shock Scaffold for Representing 3D Shape
The usefulness of the 3D Medial Axis (MA) is dependent on both the availability of accurate and stable methods for computing individual MA points and on schemes for deriving the l...
Frederic F. Leymarie, Benjamin B. Kimia
TSP
2011
170views more  TSP 2011»
13 years 1 months ago
Model Selection for Sinusoids in Noise: Statistical Analysis and a New Penalty Term
—Detection of the number of sinusoids embedded in noise is a fundamental problem in statistical signal processing. Most parametric methods minimize the sum of a data fit (likeli...
Boaz Nadler, Leonid Kontorovich