6978 search results - page 1155 / 1396 » On Proofs in System P |
144
click to vote
VLSID
2006
IEEE
16 years 7 months ago
2006
IEEE
: This paper presents a wideband frequency-shift keying (FSK) demodulator suitable for a digital data transmission chain of wireless neural stimulation microsystems such as cochlea...
157
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
User attention is a scarce resource, and users are susceptible to interruption overload. Systems do not reason about the effects of interrupting a user during a task sequence. In ...
161
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
The explosion of the amount of information available in digital form has made search a hot research topic for the Information Management Community. While most of the research on s...
193
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
Distributed compression is particularly attractive for stereo images since it avoids communication between cameras. Since compression performance depends on exploiting the redunda...
168
click to vote
WISEC
2010
ACM
16 years 1 months ago
2010
ACM
We propose a novel trap-based architecture for enterprise networks that detects “silent” attackers who are eavesdropping network traffic. The primary contributions of our work...