Sciweavers

4757 search results - page 157 / 952
» A Unique
Sort
View
EPIA
2001
Springer
15 years 9 months ago
On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
João Alexandre Leite, José Jú...
SPIRE
2001
Springer
15 years 9 months ago
Exact Distribution of Deletion Sizes for Unavoidable Strings
We constructively prove the exact distribution of deletion sizes for unavoidable strings, under the reductive decidability method of Zimin and Bean et al. Bounds such as these on ...
Christine E. Heitsch
ACSAC
2000
IEEE
15 years 9 months ago
Fair On-line Gambling
This paper proposes a fair electronic gambling scheme for the Internet. The proposed scheme provides a unique link between payment and gambling outcome so that the winner can be e...
Weiliang Zhao, Vijay Varadharajan, Yi Mu
ICCD
2000
IEEE
96views Hardware» more  ICCD 2000»
15 years 8 months ago
AMULET3: A 100 MIPS Asynchronous Embedded Processor
AMULET3 is a 32-bit asynchronous processor core that is fully instruction set compatible with the clocked ARM cores. It represents the culmination of ten years of research and dev...
Stephen B. Furber, David A. Edwards, Jim D. Garsid...
ICMCS
2000
IEEE
83views Multimedia» more  ICMCS 2000»
15 years 8 months ago
System Aspects of Copy Management for Digital Video
- THIS PAPER REVIEWS BASIC PRINCIPLES OF COPY PROTECTION FOR DIGITAL VIDEO. WE DISTINGUISH BETWEEN THE ROLE OF CRYPTOGRAPHY AND EMBEDDED SIGNALING, AS SEEN BY STANDARDIZATION BODIE...
Jean-Paul M. G. Linnartz, Joop Talstra, Ton Kalker...