Sciweavers

2312 search results - page 185 / 463
» Invariance in Property Testing
Sort
View
MPC
2010
Springer
165views Mathematics» more  MPC 2010»
15 years 9 months ago
Dependently Typed Grammars
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
Kasper Brink, Stefan Holdermans, Andres Löh
CCS
2001
ACM
15 years 9 months ago
New Iterative Geometric Methods for Robust Perceptual Image Hashing
We propose a novel and robust hashing paradigm that uses iterative geometric techniques and relies on observations that main geometric features within an image would approximately ...
Mehmet Kivanç Mihçak, Ramarathnam Ve...
ISCAS
1999
IEEE
93views Hardware» more  ISCAS 1999»
15 years 8 months ago
Probability distribution of the switching intervals in chaotic pulse streams-a comparative study
In switched dynamic system the continuous phase ow is accompanied by a stream of switching events. If the system exhibits chaotic behavior this event stream can be used for gener...
T. Tsubone, T. Saito, Wolfgang M. Schwarz
CSFW
1998
IEEE
15 years 8 months ago
Honest Ideals on Strand Spaces
In security protocol analysis, it is important to learn general principles that limit the abilities of an attacker, and that can be applied repeatedly to a variety of protocols. W...
F. Javier Thayer, Jonathan C. Herzog, Joshua D. Gu...
CVPR
1997
IEEE
15 years 8 months ago
Learning Generic Prior Models for Visual Computation
This paper presents a novel theory for learning generic prior models from a set of observed natural images based on a minimax entropy theory that the authors studied in modeling t...
Song Chun Zhu, David Mumford