Sciweavers

5169 search results - page 822 / 1034
» Locality approximation using time
Sort
View
BMCBI
2006
116views more  BMCBI 2006»
15 years 4 months ago
MICA: desktop software for comprehensive searching of DNA databases
Background: Molecular biologists work with DNA databases that often include entire genomes. A common requirement is to search a DNA database to find exact matches for a nondegener...
William A. Stokes, Benjamin S. Glick
159
Voted
SMA
2008
ACM
182views Solid Modeling» more  SMA 2008»
15 years 4 months ago
Voronoi diagram computations for planar NURBS curves
We present robust and efficient algorithms for computing Voronoi diagrams of planar freeform curves. Boundaries of the Voronoi diagram consist of portions of the bisector curves b...
Joon-Kyung Seong, Elaine Cohen, Gershon Elber
CGF
2002
110views more  CGF 2002»
15 years 4 months ago
Free-form sketching with variational implicit surfaces
With the advent of sketch-based methods for shape construction, there's a new degree of power available in the rapid creation of approximate shapes. Sketch [Zeleznik, 1996] s...
Olga A. Karpenko, John F. Hughes, Ramesh Raskar
SAS
2010
Springer
121views Formal Methods» more  SAS 2010»
15 years 2 months ago
Alternation for Termination
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
William R. Harris, Akash Lal, Aditya V. Nori, Srir...
148
Voted
SIAMSC
2010
143views more  SIAMSC 2010»
15 years 2 months ago
Computing and Deflating Eigenvalues While Solving Multiple Right-Hand Side Linear Systems with an Application to Quantum Chromod
Abstract. We present a new algorithm that computes eigenvalues and eigenvectors of a Hermitian positive definite matrix while solving a linear system of equations with Conjugate G...
Andreas Stathopoulos, Konstantinos Orginos