3690 search results - page 49 / 738 » Computation with classical sequents |
ICASSP
2010
IEEE
15 years 1 days ago
2010
IEEE
In this paper, we propose a kernel backprojection method for computed tomography. The classical backprojection method estimates an unknown pixel value by the summation of the proj...
CVPR
1999
IEEE
16 years 1 months ago
1999
IEEE
We consider the problem of wrapping around an object, of which two views are available, a reference surface and recovering the resulting parametric flow using direct computations ...
COCO
2007
Springer
15 years 6 months ago
2007
Springer
Valiant has proposed a new theory of algorithmic computation based on perfect matchings and Pfaffians. We study the properties of matchgates—the basic building blocks in this n...
CISIS
2008
IEEE
15 years 6 months ago
2008
IEEE
Some researchers have illustrated how individual and groups of bacteria forage for nutrients and to model it as a distributed optimization process, which is called the Bacterial F...
104
click to vote
IROS
2008
IEEE
15 years 6 months ago
2008
IEEE
— A shell is a body enclosed between two closely spaced and curved surfaces. Classical theory of shells [38], [33], [16] assumes a parametrization along the lines of principal cu...