5122 search results - page 444 / 1025 » Comparing Consequence Relations |
216
click to vote
RTA
2009
Springer
16 years 2 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
194
click to vote
ICMCS
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract— We propose a framework based on signatures extracted from audio and video streams for automatically measuring and maintaining synchronization between the two streams. T...
186
click to vote
IJCNN
2008
IEEE
16 years 2 months ago
2008
IEEE
—Traditional connectionist classification models place an emphasis on learned synaptic weights. Based on neurobiological evidence, a new approach is developed and experimentally ...
221
click to vote
AI
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. Conventional web search engines retrieve too many documents for the majority of the submitted queries; therefore, they possess a good recall, since there are far more pag...
206
click to vote
GLOBECOM
2007
IEEE
16 years 2 months ago
2007
IEEE
Abstract—We examine the performance of a rate-0.9 structured irregular repeat-accumulate (S-IRA) code on a perpendicular magnetic recording (PMR) channel with media noise. To acc...