305 search results - page 19 / 61 » From Sets to Bits in Coq |
SIGIR
2002
ACM
14 years 10 months ago
2002
ACM
mes, abstracts and year of publication of all 853 papers published.1 We then applied Porter stemming and stopword removal to this text, represented terms from the elds with twice t...
111
click to vote
ICASSP
2010
IEEE
14 years 11 months ago
2010
IEEE
—This paper provides a framework for designing space-time codes to take advantage of a small number of feedback bits from the receiver. The new codes are based on circulant matri...
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
Secure multicast has a variety of applications in ecommerce, e-banking, command and control, video-ondemand, and other internet-based services. In this paper, we present algorithm...
ICMCS
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, an affine invariant watermarking scheme, robust to geometric attacks, is proposed and applied to face regions. Initially, face regions are unsupervisedly extracted ...
PODC
2009
ACM
15 years 11 months ago
2009
ACM
Consider a completely asynchronous network consisting of n parties where every two parties are connected by a private channel. An adversary At with unbounded computing power activ...