Sciweavers

1068 search results - page 35 / 214
» For completeness, sublogarithmic space is no space
Sort
View
ACCV
2010
Springer
13 years 3 months ago
PTZ Camera Modeling and Panoramic View Generation via Focal Plane Mapping
We present a novel technique to accurately map the complete field-of-coverage of a camera to its pan-tilt space in an efficient manner. This camera model enables mapping the coordi...
Karthik Sankaranarayanan, James W. Davis
ECCV
2000
Springer
14 years 10 months ago
Euclidean Group Invariant Computation of Stochastic Completion Fields Using Shiftable-Twistable Functions
We describe a method for computing the likelihood that a completion joining two contour fragments passes through any given position and orientation in the image plane, that is, a m...
John W. Zweck, Lance R. Williams
CAV
2009
Springer
218views Hardware» more  CAV 2009»
14 years 9 months ago
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
Abstract. We propose a novel, sound, and complete Simplex-based algorithm for solving linear inequalities over integers. Our algorithm, which can be viewed as a semantic generaliza...
Isil Dillig, Thomas Dillig, Alex Aiken
ICASSP
2009
IEEE
14 years 3 months ago
Complete characterization of perfectly secure stego-systems with mutually independent embedding operation
Without any assumption on the cover source, this paper presents a complete characterization of all perfectly secure stego-systems that employ mutually independent embedding operat...
Tomás Filler, Jessica J. Fridrich
ESORICS
2007
Springer
14 years 2 months ago
Completeness of the Authentication Tests
Protocol participants manipulate values, transforming the cryptographic contexts in which they occur. The rules of the protocol determine which transformations are permitted. We fo...
Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Th...