Sciweavers

2255 search results - page 412 / 451
» Computing a Center-Transversal Line
Sort
View
SAC
2006
ACM
13 years 9 months ago
Assisted verification of elementary functions using Gappa
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
SMA
2008
ACM
139views Solid Modeling» more  SMA 2008»
13 years 9 months ago
An incremental approach to feature aligned quad dominant remeshing
In this paper we present a new algorithm which turns an unstructured triangle mesh into a quad-dominant mesh with edges aligned to the principal directions of the underlying geome...
Yu-Kun Lai, Leif Kobbelt, Shi-Min Hu
CGF
2005
136views more  CGF 2005»
13 years 9 months ago
Practical CFD Simulations on Programmable Graphics Hardware using SMAC
The explosive growth in integration technology and the parallel nature of rasterization-based graphics APIs changed the panorama of consumer-level graphics: today, GPUs are cheap,...
Carlos Eduardo Scheidegger, João Luiz Dihl ...
JMM2
2007
157views more  JMM2 2007»
13 years 9 months ago
Sub-band Implementation of Adaptive Nonlinear Filter for Adaptive Nonlinear Echo Cancellation
—The adaptive Volterra filter has been successfully applied in nonlinear acoustic echo cancellation (AEC) systems and nonlinear line echo cancellation systems, but its applicatio...
Dayong Zhou, Yunhua Wang, Victor E. DeBrunner, Lin...
CONCURRENCY
2004
151views more  CONCURRENCY 2004»
13 years 9 months ago
User transparency: a fully sequential programming model for efficient data parallel image processing
Although many image processing applications are ideally suited for parallel implementation, most researchers in imaging do not benefit from high performance computing on a daily b...
Frank J. Seinstra, Dennis Koelma