Sciweavers

1302 search results - page 220 / 261
» Soundness in the Public-Key Model
Sort
View
ICNSC
2008
IEEE
15 years 6 months ago
A Theoretic Framework for Object Class Tracking
— suppose we have a video, the first half of this video is capturing the images of a sedan and the second half is recording the moving of a truck, can we use the same video track...
Yu Cao, Steve Read, Sachin Raka, Revanth Nandamuri
INFOCOM
2008
IEEE
15 years 6 months ago
A New Perspective on Internet Security using Insurance
—Managing security risks in the Internet has so far mostly involved methods to reduce the risks and the severity of the damages. Those methods (such as firewalls, intrusion dete...
Jean-Chrysostome Bolot, Marc Lelarge
EUROMICRO
2007
IEEE
15 years 6 months ago
Compatibility and reuse in component-based systems via type and unit inference
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
Christian Kühnel, Andreas Bauer 0002, Michael...
ICASSP
2007
IEEE
15 years 6 months ago
Discriminating Two Types of Noise Sources using Cortical Representation and Dimension Reduction Technique
Content-based audio classification techniques have focused on classifying events that are both semantically and perceptually distinct (such as speech, music, environmental sounds...
Shiva Sundaram, Shrikanth Narayanan
ICASSP
2007
IEEE
15 years 6 months ago
Stationary-Tones Interference Cancellation using Adaptive Tracking
It is usual in practice that recorded sounds are contaminated by stationary tones coming from power wiring (50/60 Hz or 400 Hz and their harmonics), frame or line frequencies from...
Ivan Tashev, Henrique S. Malvar