Sciweavers

2843 search results - page 187 / 569
» Interpolation by geometric algorithm
Sort
View
123
Voted
DAC
2010
ACM
15 years 7 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
102
Voted
CVPR
2005
IEEE
16 years 5 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
123
Voted
ICIP
2008
IEEE
16 years 5 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
118
Voted
VTC
2006
IEEE
148views Communications» more  VTC 2006»
15 years 9 months 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
114
Voted
IWCIA
2004
Springer
15 years 9 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