Sciweavers

5550 search results - page 736 / 1110
» Different Approaches to Proof Systems
Sort
View
ICASSP
2007
IEEE
16 years 1 months ago
Sound Source Tracking and Formation using Normalized Cuts
The goal of computational auditory scene analysis (CASA) is to create computer systems that can take as input a mixture of sounds and form packages of acoustic evidence such that ...
Mathieu Lagrange, George Tzanetakis
ICC
2007
IEEE
16 years 1 months ago
Robust Code Acquisition in the Presence of BOC Modulation for Future Galileo Receivers
— The problem of code acquisition for the Galileo system is investigated in this paper. The effect of non-ideal sampling on the Binary Offset Carrier (BOC) modulated signal is ev...
Marco Villanti, Claudio Palestini, Raffaella Pedon...
ICC
2007
IEEE
102views Communications» more  ICC 2007»
16 years 1 months ago
Quasi-Cyclic Low-Density Parity-Check Codes in the McEliece Cryptosystem
Abstract—In this paper, a new variant of the McEliece cryptosystem, based on Quasi-Cyclic Low-Density Parity-Check (QCLDPC) codes, is studied. In principle, such codes can substi...
Marco Baldi, Franco Chiaraluce, Roberto Garello, F...
ITNG
2007
IEEE
16 years 1 months ago
Human Computer Interaction Based Intrusion Detection
—In this paper we survey the state of the art in direct and indirect human computer interaction based biometrics. Direct HCI biometrics are based on abilities, style, preference,...
Roman V. Yampolskiy
CAIP
2007
Springer
16 years 1 months ago
A Simplified Human Vision Model Applied to a Blocking Artifact Metric
A novel approach towards a simplified, though still reliable human vision model based on the spatial masking properties of the human visual system (HVS) is presented. The model con...
Hantao Liu, Ingrid Heynderickx