Sciweavers

17967 search results - page 449 / 3594
» Functional timing optimization
Sort
View
SAC
2006
ACM
15 years 6 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...
CGF
2011
14 years 10 months ago
Contouring Discrete Indicator Functions
We present a method for calculating the boundary of objects from Discrete Indicator Functions that store 2material volume fractions with a high degree of accuracy. Although Marchi...
Josiah Manson, J. Smith, Scott Schaefer
SCN
2010
Springer
122views Communications» more  SCN 2010»
15 years 5 months ago
Recursive Lattice Reduction
Abstract. Lattice reduction is known to be a very powerful tool in modern cryptanalysis. In the literature, there are many lattice reduction algorithms that have been proposed with...
Thomas Plantard, Willy Susilo
CORR
2012
Springer
235views Education» more  CORR 2012»
14 years 2 months ago
An Incremental Sampling-based Algorithm for Stochastic Optimal Control
Abstract— In this paper, we consider a class of continuoustime, continuous-space stochastic optimal control problems. Building upon recent advances in Markov chain approximation ...
Vu Anh Huynh, Sertac Karaman, Emilio Frazzoli
ICCV
2007
IEEE
16 years 8 months ago
Variational Segmentation using Fuzzy Region Competition and Local Non-Parametric Probability Density Functions
We describe a novel variational segmentation algorithm designed to split an image in two regions based on their intensity distributions. A functional is proposed to integrate the ...
Benoit Mory, Roberto Ardon, Jean-Philippe Thiran