3690 search results - page 49 / 738 » Computation with classical sequents |
ICASSP
2010
IEEE
14 years 10 months 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
15 years 11 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 3 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 4 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...
IROS
2008
IEEE
15 years 4 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...