Sciweavers

317 search results - page 56 / 64
» Geometry of abstraction in quantum computation
Sort
View
IS4TH
2003
Springer
15 years 3 months ago
Integrating Geometric and Biomechanical Models of a Liver Tumour for Cryosurgery Simulation
Abstract. In this paper, we present a 3D reconstruction approach of a liver tumour model from a sequence of 2D MR parallel cross-sections, and the integration of this reconstructed...
Alexandra Branzan Albu, Jean-Marc Schwartz, Denis ...
EVOW
2001
Springer
15 years 2 months ago
Autonomous Photogrammetric Network Design Using Genetic Algorithms
Abstract. This work describes the use of genetic algorithms for automating the photogrammetric network design process. When planning a photogrammetric network, the cameras should b...
Gustavo Olague
FM
2001
Springer
130views Formal Methods» more  FM 2001»
15 years 2 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh
APBC
2007
110views Bioinformatics» more  APBC 2007»
14 years 11 months ago
Fast Structural Similarity Search Based on Topology String Matching
ibe an abstract data model of protein structures by representing the geometry of proteins using spatial data types and present a framework for fast structural similarity search bas...
Sung-Hee Park, David Gilbert, Keun Ho Ryu
BILDMED
2007
108views Algorithms» more  BILDMED 2007»
14 years 11 months ago
Fast Interactive Region of Interest Selection for Volume Visualization
Abstract. We describe a new method to support the segmentation of a volumetric MRI- or CT-dataset such that only the components selected by the user are displayed by a volume rende...
Dominik Sibbing, Leif Kobbelt