paper-with-me

홈 › Papers

A Counterexample in Image Registration

2024-10-14 · Serap A. Savari

Image registration is a widespread problem which applies models about image transformation or image similarity to align discrete images of the same scene. Nevertheless, the theoretical limits on its accuracy are not understood even in the case of one-dimensional data. Just as Nyquist's sampling theorem states conditions for the perfect reconstruction of signals from samples, there are bounds to the quality of reproductions of quantized functions from sets of ideal, noiseless samples in the absence of additional assumptions. In this work we estimate spatially-limited piecewise constant signals from two or more sets of noiseless sampling patterns. We mainly focus on the energy of the error function and find that the uncertainties of the positions of the discontinuity points of the function depend on the discontinuity point selected as the reference point of the signal. As a consequence, the accuracy of the estimate of the signal depends on the reference point of that signal.

📄 PDF Abstract BibTeX arXiv:2410.10725

Code (0)

등록된 구현이 없습니다.

Tasks

Image Registration

Methods 이 논문이 사용한 방법론

Focus 설명 없음
ALIGN In the ALIGN method, visual and language representations are jointly trained from noisy image alt-text data. The image and text encoders are learned via contrastive loss…

Similar Papers 제목 키워드 기반

A Counterexample in Cross-Correlation Template Matching

2024-10-24 · Serap A. Savari

Sampling and quantization are standard practices in signal and image processing, but a theoretical understanding of their impact is incomplete. We consider discrete image registration when the underlying function is a on…

Image RegistrationQuantizationTemplate Matching

Are There Good Mistakes? A Theoretical Analysis of CEGIS

2014-07-21 · Susmit Jha, Sanjit A. Seshia

Counterexample-guided inductive synthesis CEGIS is used to synthesize programs from a candidate space of programs. The technique is guaranteed to terminate and synthesize the correct program if the space of candidate pro…

On the Flip Side: Identifying Counterexamples in Visual Question Answering

2018-06-03 · Gabriel Grand, Aron Szanto, Yoon Kim, Alexander Rush

Visual question answering (VQA) models respond to open-ended natural language questions about images. While VQA is an increasingly popular area of research, it is unclear to what extent current VQA architectures learn ke…

Question AnsweringVisual Question AnsweringVisual Question Answering (VQA)

Learning to Disprove: Formal Counterexample Generation with Large Language Models

2026-03-19 · Zenan Li, Zhaoyu Li, Kaiyu Yang, Xiaoxing Ma 외 arxiv

Mathematical reasoning demands two critical, complementary skills: constructing rigorous proofs for true statements and discovering counterexamples that disprove false ones. However, current AI efforts in mathematics foc…

Mathematical Reasoning

Counterexamples for Robotic Planning Explained in Structured Language

2018-03-23 · Lu Feng, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu

Automated techniques such as model checking have been used to verify models of robotic mission plans based on Markov decision processes (MDPs) and generate counterexamples that may help diagnose requirement violations. H…