Sciweavers

2008 search results - page 278 / 402
» Computing with Equations
Sort
View
196
Voted
BMVC
2001
15 years 5 months ago
Combining 3D Deformable Models and Level Set Methods for the Segmentation of Abdominal Aortic Aneurysms
In this paper we present a system that combines the benefits of 3D deformable models and level set methods for medical volume segmentation. Our 3D deformable model is a very comp...
Derek R. Magee, Andrew J. Bulpitt, Elizabeth Berry
129
Voted
WSC
2000
15 years 3 months ago
Cost/benefit analysis of interval jumping in power-control simulation
Computation of power control calculations is one of the most time-consuming aspects of simulating wireless communication systems. These calculations are critical to understanding ...
David M. Nicol, L. Felipe Perrone
112
Voted
CAD
2006
Springer
15 years 2 months ago
Field modeling with sampled distances
Traditional mesh-based approaches to the modeling and analysis of physical fields within geometric models require some form of topological reconstruction and conversion in the mes...
Michael Freytag, Vadim Shapiro, Igor G. Tsukanov
129
Voted
HPCC
2010
Springer
15 years 1 months ago
Performance Analysis of Scientific and Engineering Applications Using MPInside and TAU
In this paper, we present performance analysis of two NASA applications using performance tools like Tuning and Analysis Utilities (TAU) and SGI MPInside. MITgcmUV and OVERFLOW ar...
Subhash Saini, Piyush Mehrotra, Kenichi Taylor, Sa...
115
Voted
WRLA
2010
15 years 28 days ago
Folding Variant Narrowing and Optimal Variant Termination
Abstract. If a set of equations E∪Ax is such that E is confluent, terminating, and coherent modulo Ax, narrowing with E modulo Ax provides a complete E∪Ax-unification algorit...
Santiago Escobar, Ralf Sasse, José Meseguer