2957 search results - page 183 / 592 » Processing Self Corrections |
WOTUG
2008
13 years 10 months ago
2008
Abstract. We prove the correctness of a two-way sliding window protocol with piggybacking, where the acknowledgments of the latest received data are attached to the next data trans...
WSC
2001
13 years 10 months ago
2001
This paper discusses the validity of using common random numbers (CRNs) with two-stage selection procedures to improve the possibility of correct selection and discusses the intri...
COLING
1996
1996
Unsupervised Discovery of Phonological Categories through Supervised Learning of Morphological Rules
13 years 10 months ago
We describe a case study in tit(', application of symbolic machinc learning techniques for the discow;ry of linguistic rules and categories. A supervised rule induction algor...
FUIN
2006
13 years 9 months ago
2006
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient...
ICIP
2002
IEEE
14 years 11 months ago
2002
IEEE
In this paper we present a generic content-based solution targeting at authenticating image in a semi-fragile way, which integrates watermarking-based approach with signature-base...