Sciweavers

2147 search results - page 249 / 430
» Natural Phenomena Simulation
Sort
View
LATINCRYPT
2010
15 years 4 months ago
On the Round Complexity of Zero-Knowledge Proofs Based on One-Way Permutations
We consider the following problem: can we construct constant-round zero-knowledge proofs (with negligible soundness) for NP assuming only the existence of one-way permutations? We...
S. Dov Gordon, Hoeteck Wee, David Xiao, Arkady Yer...
GLOBECOM
2010
IEEE
15 years 3 months ago
Analysis of a Distributed Queuing Medium Access Control Protocol for Cooperative ARQ
In this paper we analyze the performance of a distributed queuing medium access control (MAC) protocol designed to execute cooperative ARQ (C-ARQ) schemes at the MAC layer. Due to ...
Jesus Alonso-Zarate, L. Alonso, Charalabos Skianis...
214
Voted
SIGDIAL
2010
15 years 3 months ago
Modeling Spoken Decision Making Dialogue and Optimization of its Dialogue Strategy
This paper presents a spoken dialogue framework that helps users in making decisions. Users often do not have a definite goal or criteria for selecting from a list of alternatives...
Teruhisa Misu, Komei Sugiura, Kiyonori Ohtake, Chi...
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
15 years 3 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
ICASSP
2009
IEEE
15 years 3 months ago
Qualitative analysis of rotational modes within three dimensional empirical mode decomposition
An analysis of quaternion-valued intrinsic mode functions (IMFs) within three dimensional empirical mode decomposition is presented. This is achieved by using the delay vector var...
Naveed ur Rehman, Danilo P. Mandic