1546 search results - page 58 / 310 » Context-Aware Computing with Sound |
152
click to vote
ITICSE
2004
ACM
15 years 10 months ago
2004
ACM
With our interest to improve our education in computer science, an understanding of how students learn about CS concepts, how different concepts are understood, as well as the con...
138
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...
126
click to vote
COGSCI
2002
15 years 4 months ago
2002
This paper presents an implemented computational model of word acquisition which learns directly from raw multimodal sensory input. Set in an information theoretic framework, the ...
133
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...