14809 search results - page 408 / 2962 » Model transformation by demonstration |
163
Voted
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
164
Voted
ICPP
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes transformation techniques for out-of-core programs (i.e., those that deal with very large quantities of data) based on exploiting locality using a combination...
163
click to vote
IJCAI
1989
15 years 8 months ago
1989
A homogeneous paradigm for evidence integration is presented, and a vision system to recognize 3D objects is demonstrated using this paradigm. A new concept called generalizedfeat...
190
click to vote
CEC
2010
IEEE
15 years 8 months ago
2010
IEEE
A new stochastic optimization algorithm referred to by the authors as the `Mean-Variance Optimization' (MVO) algorithm is presented in this paper. MVO falls into the category ...
159
click to vote
CVIU
2008
15 years 7 months ago
2008
We address the 3D volume reconstruction problem from depth adjacent sub-volumes acquired by a confocal laser scanning microscope (CLSM). Our goal is to align the sub-volumes by es...