20573 search results - page 375 / 4115 » The Computer's New Clothes |
199
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This article proposes a new capture basin algorithm for computing the numerical solution of a class of Hamilton-Jacobi-Bellman (HJB) partial differential equations (PDEs)...
213
click to vote
HUMO
2000
Springer
15 years 10 months ago
2000
Springer
We present a new algorithm to compute the head motion between two views from the correspondences of five feature points (eye corners, mouth corners, and nose top), and zero or mor...
161
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we first briefly survey automated termination proof methods for higher-order calculi. We then concentrate on the higher-order recursive path ordering, for ...
192
Voted
AIEDAM
2008
15 years 7 months ago
2008
We demonstrate the use of genetic programming in the automatic invention of quantum computing circuits that solve problems of potential theoretical and practical significance. We ...
194
click to vote
CG
2005
Springer
15 years 6 months ago
2005
Springer
We present a new algorithm to compute a geodesic path over a triangulated surface. Based on Sethian's Fast Marching Method and Polthier's Straightest Geodesics theory, w...