Sciweavers

33 search results - page 2 / 7
» Compositions of Random Functions on a Finite Set
Sort
View
PODS
2004
ACM
158views Database» more  PODS 2004»
14 years 5 months ago
Composing Schema Mappings: Second-Order Dependencies to the Rescue
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wa...
ICCV
2007
IEEE
14 years 6 months ago
Finite-Element Level-Set Curve Particles
Particle filters encode a time-evolving probability density by maintaining a random sample from it. Level sets represent closed curves as zero crossings of functions of two variab...
Tingting Jiang, Carlo Tomasi
FOSSACS
2008
Springer
13 years 6 months ago
Coalgebraic Logic and Synthesis of Mealy Machines
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds t...
Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexan...
CRYPTO
2005
Springer
164views Cryptology» more  CRYPTO 2005»
13 years 10 months ago
Composition Does Not Imply Adaptive Security
We study the question whether the sequential or parallel composition of two functions, each indistinguishable from a random function by non-adaptive distinguishers is secure agains...
Krzysztof Pietrzak
WSC
2004
13 years 6 months ago
A Unified Approach for Finite-Dimensional, Rare-Event Monte Carlo Simulation
We consider the problem of estimating the small probability that a function of a finite number of random variables exceeds a large threshold. Each input random variable may be lig...
Zhi Huang, Perwez Shahabuddin