2843 search results - page 265 / 569 » Interpolation by geometric algorithm |
121
click to vote
KR
2000
Springer
15 years 7 months ago
2000
Springer
We investigate the problem of reasoning with partitions of related logical axioms. Our motivation is two-fold. First, we are concerned with how to reason effectively with multiple...
197
Voted
CSCLP
2008
Springer
15 years 5 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
136
Voted
GRAPHICSINTERFACE
2000
15 years 4 months ago
2000
We introduce an algorithm for high-quality, interactive light field rendering from only a small number of input images with dense depth information. The algorithm bridges the gap ...
125
click to vote
COMPUTING
2007
15 years 3 months ago
2007
We present a multiresolution morphing algorithm using “as-rigid-as-possible” shape interpolation combinedwithanangle-lengthbasedmultiresolutiondecompositionofsimple2Dpiecewise...
138
Voted
MICCAI
2010
Springer
15 years 1 months ago
2010
Springer
We present a fully automatic lung lobe segmentation algorithm that is effective in high resolution computed tomography (CT) datasets in the presence of confounding factors such as ...