6978 search results - page 1232 / 1396 » On Proofs in System P |
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract: We adapt the event study methodology from research in financial economics to study the impact of government enforcement and economic opportunities on information security...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
We present a distance measure between audio files designed to identify cover songs, which are new renditions of previously recorded songs. For each song we compute the chromagram...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
Reverberant speech can be described as sounding distant with noticeable coloration and echo. These detrimental perceptual effects are caused by early and late reflections, respec...
ICDE
2008
IEEE
14 years 3 months ago
2008
IEEE
Network accountability and forensic analysis have become increasingly important, as a means of performing network diagnostics, identifying malicious nodes, enforcing trust managem...
IEEEPACT
2008
IEEE
14 years 3 months ago
2008
IEEE
Achieving good performance on a modern machine with a multi-level memory hierarchy, and in particular on a machine with software-managed memories, requires precise tuning of progr...