293 search results - page 58 / 59 » Formal Security Analysis with Interacting State Machines |
ISI
2008
Springer
13 years 4 months ago
2008
Springer
This talk deals with advanced concepts of Artificial Intelligence (AI) and Pattern Recognition (PR), and their applications to solving real life problems including biometrics appl...
SP
2010
IEEE
13 years 10 months ago
2010
IEEE
– With software-as-a-service becoming mainstream, more and more applications are delivered to the client through the Web. Unlike a desktop application, a web application is split...
IUI
2006
ACM
14 years 5 days ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
SIGIR
2003
ACM
13 years 11 months ago
2003
ACM
Libraries have traditionally used manual image annotation for indexing and then later retrieving their image collections. However, manual image annotation is an expensive and labo...
CRYPTO
2005
Springer
13 years 11 months ago
2005
Springer
Motivated by the security of the nonlinear filter generator, the concept of correlation was previously extended to the conditional correlation, that studied the linear correlation...