Sciweavers

3172 search results - page 478 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
JOC
2006
71views more  JOC 2006»
15 years 6 months ago
Private Computation: k-Connected versus 1-Connected Networks
We study the role of connectivity of communication networks in private computations under information theoretic settings. It will be shown that some functions can be computed by pr...
Markus Bläser, Andreas Jakoby, Maciej Liskiew...
ENTCS
2007
108views more  ENTCS 2007»
15 years 6 months ago
Remarks on Testing Probabilistic Processes
We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a si...
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy,...
JSYML
2006
85views more  JSYML 2006»
15 years 6 months ago
An alternative semantics for quantified relevant logic
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...
Robert Goldblatt, Edwin D. Mares
PRL
2008
126views more  PRL 2008»
15 years 6 months ago
Fourier-based geometric shape prior for snakes
A novel method of snakes with shape prior is presented in this paper. We propose to add a new force which makes the curve evolve to particular shape corresponding to a template to...
Mohamed Ali Charmi, Stéphane Derrode, Faouz...
IMAMCI
2007
70views more  IMAMCI 2007»
15 years 6 months ago
On the geometry of stability regions of Smith predictors subject to delay uncertainty
In this paper, we present a geometric method for describing the effects of the delay induced uncertainty on the stability of a standard Smith Predictor control scheme. The method...
Constantin-Irinel Morarescu, Silviu-Iulian Nicules...