24451 search results - page 47 / 4891 » Research methods in information |
MMMACNS
2001
Springer
15 years 2 months ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
PR
2008
14 years 10 months ago
2008
Feature selection is an important preprocessing step in mining high-dimensional data. Generally, supervised feature selection methods with supervision information are superior to ...
AIL
2006
14 years 10 months ago
2006
Legal information certification and secured storage combined with documents electronic signature are of great interest when digital documents security and conservation are in conce...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
Multi-touch interfaces are becoming popular as a new input means for the various applications. In this paper, we suggest a new Korean text entry method using a multi-touch interfa...
ACL
1996
14 years 11 months ago
1996
This paper addresses the problem of correcting spelling errors that result in valid, though unintended words (such as peace and piece, or quiet and quite) and also the problem of ...