14386 search results - page 2727 / 2878 » The Chinese Generals Problem |
LPAR
2001
Springer
14 years 20 days ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...
WABI
2001
Springer
14 years 20 days ago
2001
Springer
Radiation hybrid (RH) mapping is a somatic cell technique that is used for ordering markers along a chromosome and estimating physical distances between them. It nicely complements...
ACSAC
2000
IEEE
14 years 20 days ago
2000
IEEE
It is well-known that CA plays the central role in PKI. In this paper we introduce a new component into PKI, DA (decryption authority), which decrypts important and sensitive mess...
CGI
2000
IEEE
14 years 19 days ago
2000
IEEE
Computer synthesized characters are expected to make appropriate face, limb, and body gestures during communicative acts. We focus on non-facial movements and try to elucidate wha...
ICDCS
2000
IEEE
14 years 19 days ago
2000
IEEE
For transmission of continuous media (CM) streams such as audio and video over the Internet, a critical issue is that periodic network overloads cause bursty packet losses. Studie...