Sciweavers

2843 search results - page 187 / 569
» Interpolation by geometric algorithm
Sort
View
DAC
2010
ACM
15 years 11 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
CVPR
2005
IEEE
16 years 9 months ago
Bayesian Super-Resolution of Text in Video with a Text-Specific Bimodal Prior
To increase the range of sizes of video scene text recognizable by optical character recognition (OCR), we developed a Bayesian super-resolution algorithm that uses a text-specifi...
Katherine Donaldson, Gregory K. Myers
ICIP
2008
IEEE
16 years 8 months ago
Edge-preservation resolution enhancement with oriented wavelets
A novel directionally adaptive image resolution enhancement method is proposed. The method uses a multiple-direction wavelet transform, called directionlets, to efficiently extrac...
Vladan Velisavljevic
VTC
2006
IEEE
148views Communications» more  VTC 2006»
16 years 28 days ago
Exploiting Channel Time Selectivity in Pilot-Aided Alamouti STBC Systems
Abstract-In fast time varying systems, the problem of acquiring the channel coefficients required for symbol decoding commonly arises. A method of resolving this problem is the use...
Woon Hau Chin
IWCIA
2004
Springer
16 years 9 days ago
Shape Preserving Sampling and Reconstruction of Grayscale Images
Abstract. The expressiveness of a lot of image analysis algorithms depends on the question whether shape information is preserved during digitization. Most existing approaches to a...
Peer Stelldinger