1948 search results - page 14 / 390 » Formalizing Mirror Theory |
CVPR
2011
IEEE
13 years 3 months ago
2011
IEEE
We present a novel theory for characterizing defocus blurs in multi-perspective cameras such as catadioptric mirrors. Our approach studies how multi-perspective ray geometry trans...
ICCV
2005
IEEE
14 years 9 months ago
2005
IEEE
We investigate the feasibility of reconstructing an arbitrarily-shaped specular scene (refractive or mirror-like) from one or more viewpoints. By reducing shape recovery to the pr...
IJCAI
2003
13 years 8 months ago
2003
The core of scientific theories are laws. These laws often make use of theoretical terms, linguistic entities which do not directly refer to observables. There is therefore no dir...
EACL
1993
ACL Anthology
13 years 8 months ago
1993
ACL Anthology
This paper offers a provisional mathematical typology of metrical representations. First, a family of algebras corresponding to different versions of grid and bracketed grid theor...
FM
1997
Springer
13 years 11 months ago
1997
Springer
We describe a meta-method for formal method integration Pai97 . The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory ...