Sciweavers

4485 search results - page 97 / 897
» Equivalences on Observable Processes
Sort
View
CORR
2010
Springer
95views Education» more  CORR 2010»
15 years 3 months ago
Nowhere dense graph classes, stability, and the independence property
A class of graphs is nowhere dense if for every integer r there is a finite upper bound on the size of cliques that occur as (topological) r-minors. We observe that this tameness ...
Hans Adler, Isolde Adler
ACTA
1998
64views more  ACTA 1998»
15 years 2 months ago
Converting Untyped Formulas to Typed Ones
We observe that every rst-order logic formula over the untyped version of some many-sorted vocabulary is equivalent to a union of manysorted formulas over that vocabulary. This re...
Jan Van den Bussche, Luca Cabibbo
TIT
2002
86views more  TIT 2002»
15 years 2 months ago
A low-rate bound on the reliability of a quantum discrete memoryless channel
We extend a low-rate improvement of the random coding bound on the reliability of a classical discrete memoryless channel (DMC) to its quantum counterpart. The key observation that...
Alexander Barg
IFIP
2010
Springer
14 years 10 months ago
Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus
Abstract. We formally study two privacy-type properties in online auction protocols, bidding-price-secrecy and receipt-freeness. These properties are formalised as observational eq...
Naipeng Dong, Hugo L. Jonker, Jun Pang
133
Voted
ICASSP
2009
IEEE
15 years 10 months ago
On the error exponents for detecting randomly sampled noisy diffusion processes
This paper deals with the detection of a continuous random process described by an Ornstein-Uhlenbeck (O-U) stochastic differential equation. Randomly spaced sensors or equivalent...
Walid Hachem, Eric Moulines, Jamal Najim, Fran&cce...