Sciweavers

4 search results - page 1 / 1
» Kinetic Algorithms Via Self-adjusting Computation
Sort
View
ESA
2006
Springer
70views Algorithms» more  ESA 2006»
14 years 2 months ago
Kinetic Algorithms Via Self-adjusting Computation
Abstract. Define a static algorithm as an algorithm that computes some combinatorial property of its input consisting of static, i.e., non-moving, objects. In this paper, we descri...
Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, ...
WABI
2007
Springer
14 years 5 months ago
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
Christopher James Langmead, Sumit Kumar Jha
MICCAI
2007
Springer
14 years 12 months ago
Simultaneous Segmentation, Kinetic Parameter Estimation, and Uncertainty Visualization of Dynamic PET Images
Abstract. We develop a segmentation technique for dynamic PET incorporating the physiological parameters for different regions via kinetic modeling. We demonstrate the usefulness o...
Ahmed Saad, Benjamin Smith 0002, Ghassan Hamarneh,...
COMPGEOM
2004
ACM
14 years 4 months ago
Deformable spanners and applications
For a set S of points in Rd, an s-spanner is a graph on S such that any pair of points is connected via some path in the spanner whose total length is at most s times the Euclidea...
Jie Gao, Leonidas J. Guibas, An Nguyen