59 search results - page 4 / 12 » You Assume, We Guarantee: Methodology and Case Studies |
ISCAS
2003
IEEE
13 years 12 months ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
ECAI
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. We study privacy guarantees for the owner of an information system who wants to share some of the information in the system with clients while keeping some other informat...
CORR
2006
Springer
13 years 6 months ago
2006
Springer
Motivated by applications of rateless coding, decision feedback, and automatic repeat request (ARQ), we study the problem of universal decoding for unknown channels in the presence...
ML
2008
ACM
13 years 6 months ago
2008
ACM
Abstract. We consider batch reinforcement learning problems in continuous space, expected total discounted-reward Markovian Decision Problems. As opposed to previous theoretical wo...
ICASSP
2009
IEEE
13 years 4 months ago
2009
IEEE
This paper studies the use of artificial interference in reducing the likelihood that a message transmitted between two multiantenna nodes is intercepted by an undetected eavesdro...