Sciweavers

1038 search results - page 73 / 208
» Boundary Points and Resolution
Sort
View
ISBI
2002
IEEE
16 years 2 months ago
Multi-modality tomographic image reconstruction using mesh modeling
In this paper we investigate a mesh-modeling approach for multi-modality image reconstruction. In the proposed approach a mesh model uses information obtained from an anatomical M...
Jovan G. Brankov, Yongyi Yang, Richard M. Leahy, M...
ISVC
2009
Springer
15 years 8 months ago
Edge-Preserving Laplacian Pyramid
5th International Symposium on Visual Computing, Las Vegas, Nevada, USA, Nov 30 - Dec 2, 2009 The Laplacian pyramid recursively splits an image into local averages and local diff...
Stella X. Yu
CADE
1998
Springer
15 years 5 months ago
A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton's Principia
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...
Jacques D. Fleuriot, Lawrence C. Paulson
DAC
2007
ACM
15 years 5 months ago
Programming Living Cells to Function as Massively Parallel Computers
We have reprogrammed the genomes of living cells to construct massively parallel biological computers capable of processing two-dimensional images at a theoretical resolution of g...
Jeffrey J. Tabor
CGI
2004
IEEE
15 years 5 months ago
An Efficient Central Path Algorithm for Virtual Navigation
We give an efficient, scalable, and simple algorithm for computation of a central path for navigation in closed virtual environments. The algorithm requires less preprocessing and...
Parag Chaudhuri, Rohit Khandekar, Deepak Sethi, Pr...