8874 search results - page 333 / 1775 » A New Implementation of Automath |
158
click to vote
SIAMSC
2008
15 years 6 months ago
2008
A novel multilevel algorithm is presented for implementing the widely used linear sampling method in inverse obstacle scattering problems. The new method is shown to possess asympt...
148
click to vote
AMC
2005
15 years 6 months ago
2005
In this paper, by using the theories and methods of mathematical analysis and computer algebra, a reliable algorithm of reduction of order approximation method for solving singula...
151
click to vote
TSE
1998
15 years 6 months ago
1998
—Distributed Feature Composition (DFC) is a new technology for feature specification and composition, based on a virtual architecture offering benefits analogous to those of a pi...
152
click to vote
ORL
2007
15 years 6 months ago
2007
We present new theoretical convergence results on the Cross-Entropy method for discrete optimization. Our primary contribution is to show that a popular implementation of the Cros...
160
click to vote
PRL
2007
15 years 6 months ago
2007
We introduce a new method for the recognition of partially occluded objects represented only by their contours. Object description, which stems from the inflection point detectio...