Sciweavers

2312 search results - page 282 / 463
» Invariance in Property Testing
Sort
View
ECCV
2006
Springer
15 years 19 days ago
A Theory of Spherical Harmonic Identities for BRDF/Lighting Transfer and Image Consistency
Abstract. We develop new mathematical results based on the spherical harmonic convolution framework for reflection from a curved surface. We derive novel identities, which are the ...
Dhruv Mahajan, Ravi Ramamoorthi, Brian Curless
ICIP
2008
IEEE
15 years 14 days ago
Image registration using Adaptive Polar Transform
Image registration is an essential step in many image processing applications that need visual information from multiple images for comparison, integration or analysis. Recently r...
Rittavee Matungka, Yuan F. Zheng, Robert L. Ewing
POPL
2009
ACM
14 years 11 months ago
A calculus of atomic actions
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
POPL
2007
ACM
14 years 11 months ago
Program verification as probabilistic inference
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
Sumit Gulwani, Nebojsa Jojic
CADE
2005
Springer
14 years 11 months ago
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard