Sciweavers

2843 search results - page 187 / 569
» Interpolation by geometric algorithm
Sort
View
DAC
2010
ACM
15 years 10 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 8 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 11 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
15 years 11 months 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