Sciweavers

3270 search results - page 145 / 654
» Approximate String Processing
Sort
View
SIAMNUM
2010
140views more  SIAMNUM 2010»
14 years 9 months ago
Finite Element Approximation of the Linear Stochastic Wave Equation with Additive Noise
Semidiscrete finite element approximation of the linear stochastic wave equation with additive noise is studied in a semigroup framework. Optimal error estimates for the determinis...
Mihály Kovács, Stig Larsson, Fardin ...
DFG
2007
Springer
15 years 8 months ago
Natural Neighbor Concepts in Scattered Data Interpolation and Discrete Function Approximation
: The concept of natural neighbors employs the notion of distance to define local neighborhoods in discrete data. Especially when querying and accessing large scale data, it is im...
Tom Bobach, Georg Umlauf
107
Voted
FAST
2007
15 years 3 months ago
//TRACE: Parallel Trace Replay with Approximate Causal Events
//TRACE1 is a new approach for extracting and replaying traces of parallel applications to recreate their I/O behavior. Its tracing engine automatically discovers inter-node data ...
Michael P. Mesnier, Matthew Wachs, Raja R. Sambasi...
WSCG
2001
134views more  WSCG 2001»
15 years 3 months ago
Synthetic Images of Underwater Scenes: A First Approximation
The creation and rendering of realistic water scenes is one of the challenging tasks in Computer Graphics. To reproduce the illumination and colour inside water bodies an algorith...
Eva Cerezo, Francisco J. Serón
ENTCS
2006
134views more  ENTCS 2006»
15 years 2 months ago
Computing Over-Approximations with Bounded Model Checking
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
Daniel Kroening