Sciweavers

5404 search results - page 722 / 1081
» Global Computing for Bioinformatics
Sort
View
ICPR
2010
IEEE
16 years 13 days ago
Geodesic Thin Plate Splines for Image Segmentation
Thin Plate Splines are often used in image registration to model deformations. Its physical analogy involves a thin lying sheet of metal that is deformed and forced to pass throug...
Herve Lombaert, Farida Cheriet
CEC
2005
IEEE
16 years 13 days ago
A genetic algorithm for energy minimization in bio-molecular systems
Energy minimization algorithms for bio-molecular systems are critical to applications such as the prediction of protein folding. Conventional energy minimization methods such as th...
Xiaochun Weng, Lutz Hamel, Lenore M. Martin, Joan ...
MSS
2005
IEEE
175views Hardware» more  MSS 2005»
16 years 11 days ago
High Performance Storage System Scalability: Architecture, Implementation and Experience
The High Performance Storage System (HPSS) provides scalable hierarchical storage management (HSM), archive, and file system services. Its design, implementation and current domin...
Richard W. Watson
PODC
2005
ACM
16 years 11 days ago
Distance estimation and object location via rings of neighbors
We consider four problems on distance estimation and object location which share the common flavor of capturing global information via informative node labels: low-stretch routin...
Aleksandrs Slivkins
CHARME
2005
Springer
143views Hardware» more  CHARME 2005»
16 years 10 days ago
Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
Gianfranco Ciardo, Andy Jinqing Yu