Sciweavers

304 search results - page 39 / 61
» Generalized interpolation in CASL
Sort
View
IMR
1999
Springer
15 years 2 months ago
Mesh Association: Formulation and Algorithms
In computational simulation of coupled, multicomponent systems, it is frequently necessary to transfer data between meshes that may di er in resolution, structure, and discretizat...
Xiangmin Jiao, Herbert Edelsbrunner, Michael T. He...
DAC
2010
ACM
15 years 1 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare
SIGIR
2010
ACM
15 years 1 months ago
Clicked phrase document expansion for sponsored search ad retrieval
We present a document expansion approach that uses Conditional Random Field (CRF) segmentation to automatically extract salient phrases from ad titles. We then supplement the ad d...
Dustin Hillard, Chris Leggetter
ICASSP
2007
IEEE
15 years 1 months ago
A Framework for wavelet-Based Analysis and Processing of Color Filter Array Images with Applications to Denoising and Demosaicin
This paper presents a new approach to demosaicing of spatially sampled image data observed through a color filter array, in which properties of Smith-Barnwell filterbanks are empl...
Keigo Hirakawa, Xiao-Li Meng, Patrick J. Wolfe
HAPTICS
2009
IEEE
15 years 1 months ago
Computationally efficient techniques for data-driven haptic rendering
Data-driven haptic rendering requires processing of raw recorded signals, which leads to high computational effort for large datasets. To achieve real-time performance, one possib...
Raphael Höver, Massimiliano Di Luca, Gá...