Sciweavers

5 search results - page 1 / 1
» kbs 2011
Sort
View
KBS
2011
81views more  KBS 2011»
13 years 13 days ago
Existential rigidity and many modalities in order-sorted logic
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...
Ken Kaneiwa
KBS
2011
116views more  KBS 2011»
13 years 13 days ago
Advanced empirical testing
In today’s industrial applications, we see that knowledge systems are successfully implemented. However, critical domains require the elaborate and thoughtful validation of the ...
Joachim Baumeister
INFOCOM
2011
IEEE
12 years 9 months ago
Physical layer wireless security made fast and channel independent
Abstract – There is a growing interest in physical layer security. Recent work has demonstrated that wireless devices can generate a shared secret key by exploiting variations in...
Shyamnath Gollakota, Dina Katabi
ICASSP
2011
IEEE
12 years 9 months ago
Efficient transform coding of two-channel audio signals by means of complex-valued stereo prediction
Traditional MDCT-based perceptual audio coding schemes employ mid/side and intensity stereo techniques to allow efficient joint coding of the two channels of a stereophonic signal...
Christian R. Helmrich, Pontus Carlsson, Sascha Dis...
INFOCOM
2011
IEEE
12 years 9 months ago
A cross-domain privacy-preserving protocol for cooperative firewall optimization
—Firewalls have been widely deployed on the Internet for securing private networks. A firewall checks each incoming or outgoing packet to decide whether to accept or discard the...
Fei Chen, Bezawada Bruhadeshwar, Alex X. Liu