9067 search results - page 690 / 1814 » Adaptive Model Checking |
222
click to vote
ASIACRYPT
2008
Springer
15 years 9 months ago
2008
Springer
In an oblivious transfer (OT) protocol, a Sender with messages M1, . . . , MN and a Receiver with indices 1, . . . , k [1, N] interact in such a way that at the end the Receiver ...
183
click to vote
ICCSA
2003
Springer
16 years 20 days ago
2003
Springer
A speaker model in speaker recognition system is to be trained from a large data set gathered in multiple sessions. Large data set requires large amount of memory and computation, ...
191
click to vote
MSWIM
2005
ACM
16 years 1 months ago
2005
ACM
Wi-Fi based indoor location systems have been shown to be both cost-effective and accurate, since they can attain meter-level positioning accuracy by using existing Wi-Fi infrastr...
209
click to vote
JPDC
2007
15 years 7 months ago
2007
Internet end-systems employ various adaptation mechanisms that enable them to respond adequately to legitimate requests in overload situations. Today, these mechanisms are incorpo...
198
click to vote
MMS
2008
15 years 7 months ago
2008
Nowadays, users not only want to watch digital videos on a PC but also use mobile devices to play back multimedia content. Video adaptation algorithms enable the visualization of ...