3116 search results - page 361 / 624 » Positively dependent types |
170
click to vote
ICPPW
1999
IEEE
15 years 11 months ago
1999
IEEE
We deal with two claws of Zhou-Gollmann's fair nonrepudiation protocol. Firstly, their protocol divides a message into 2 parts, i.e., a key K and a ciphertext C. Then, C is d...
174
click to vote
DCC
1998
IEEE
15 years 11 months ago
1998
IEEE
Multi-hypothesis motion-compensated prediction extends traditional motion-compensated prediction used in video coding schemes. Known algorithms for block-based multi-hypothesis mo...
172
click to vote
CONCUR
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we solve the following problem: \given a digital circuit composed of gates whose real-valued delays are in an integerbounded interval, is there a way to discretize ti...
171
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
Peg-in-hole insertion is not only a longstanding problem in robotics but the most common automated mechanical assembly task [10]. In this paper we present a high precision, self-c...
176
click to vote
COLT
1992
Springer
15 years 10 months ago
1992
Springer
Language learning from positive data in the Gold model of inductive inference is investigated in a setting where the data can be modeled as a stochastic process. Specifically, the...