6693 search results - page 140 / 1339 » Methods of Automatic Algorithm Generation |
168
click to vote
CVPR
1998
IEEE
16 years 6 months ago
1998
IEEE
The Euclidean skeleton is essential for general shape representation. This paper provides an e cient method to extract a well-connected Euclidean skeleton by a neighbor bisector d...
138
click to vote
BIBE
2007
IEEE
15 years 6 months ago
2007
IEEE
—In this paper, we have modified a constrained clustering algorithm to perform exploratory analysis on gene expression data using prior knowledge presented in the form of constr...
136
click to vote
IMR
2007
Springer
15 years 11 months ago
2007
Springer
Unstructured hexahedral mesh generation is a critical part of the modeling process in the Spectral-Element Method (SEM). We present some examples of seismic wave propagation in co...
141
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
129
click to vote
ENTCS
2010
15 years 2 months ago
2010
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...