Sciweavers

2333 search results - page 130 / 467
» Recursive Computational Depth
Sort
View
IANDC
2007
151views more  IANDC 2007»
13 years 9 months ago
Transducer-based analysis of cryptographic protocols
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
Ralf Küsters, Thomas Wilke
ICCV
2007
IEEE
14 years 11 months ago
Recovering Occlusion Boundaries from a Single Image
Occlusion reasoning, necessary for tasks such as navigation and object search, is an important aspect of everyday life and a fundamental problem in computer vision. We believe tha...
Derek Hoiem, Andrew N. Stein, Alexei A. Efros, Mar...
ICCV
2003
IEEE
14 years 11 months ago
A New Perspective [on] Shape-from-Shading
Shape-from-Shading (SfS) is a fundamental problem in Computer Vision. The vast majority of research in this field have assumed orthography as its projection model. This paper re-e...
Ariel Tankus, Nir A. Sochen, Yehezkel Yeshurun
SI3D
1997
ACM
14 years 1 months ago
Context Sensitive Flying Interface
The requirement to change scale frequently is common to many 2D and 3D applications. Users must “zoom in” to examine details and “zoom out” to appreciate the context. This...
Colin Ware, Daniel J. Fleet
FOCS
1998
IEEE
14 years 1 months ago
A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time
We present a higher-order functional notation for polynomial-time computation with arbitrary 0; 1-valued oracle. This provides a linguistic characterization for classes such as np...
John C. Mitchell, Mark Mitchell, Andre Scedrov