1737 search results - page 180 / 348 » On Interpolation in Existence Logics |
356
click to vote
CADE
2011
Springer
14 years 7 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
183
click to vote
ICCV
1999
IEEE
16 years 9 months ago
1999
IEEE
In this contribution we focus on the calibration of very long image sequences from a hand-held camera that samples the viewing sphere of a scene. View sphere sampling is important...
170
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Acquiring and representing the 4D space of rays in the world (the light field) is important for many computer vision and graphics applications. Yet, light field acquisition is c...
222
click to vote
ACISP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we study GF-NLFSR, a Generalized Unbalanced Feistel Network (GUFN) which can be considered as an extension of the outer function FO of the KASUMI block cip...
202
click to vote
ISVC
2009
Springer
16 years 1 months ago
2009
Springer
Modeling, characterization and analysis of biological shapes and forms are important in many computational biology studies. Shape representation challenges span the spectrum from s...