555 search results - page 65 / 111 » Between Symbol and Language-in-use |
ECCC
2010
13 years 6 months ago
2010
We show that it is possible to encode any communication protocol between two parties so that the protocol succeeds even if a (1/4 − ǫ) fraction of all symbols transmitted by th...
PCM
2010
Springer
13 years 6 months ago
2010
Springer
We propose a novel statistical descriptor, Multiple References Histogram Matrix (MRHM), for robust shape retrieval, especially for degraded shape images. For each shape image, MRHM...
ENTCS
2010
13 years 5 months ago
2010
We study the biochemical processes involved in scaffold-mediated crosstalk between the cAMP and the Raf-1/MEK/ERK pathways. We model the system by a continuous time Markov chain w...
AAI
2010
13 years 2 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
CACM
2011
13 years 2 months ago
2011
We propose an unbounded-depth, hierarchical, Bayesian nonparametric model for discrete sequence data. This model can be estimated from a single training sequence, yet shares stati...