5326 search results - page 411 / 1066 » On what we can ensure |
179
click to vote
MMMACNS
2001
Springer
15 years 11 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...
173
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
A new sub-optimal subset search method for feature selection is introduced. As opposed to other till now known subset selection methods the oscillating search is not dependent on ...
187
Voted
IV
2000
IEEE
15 years 11 months ago
2000
IEEE
The proliferation of content-based image retrieval techniques has highlighted the need to understand the relationship between image clustering based on low-Ievel imagefeatures and...
198
click to vote
WETICE
2000
IEEE
15 years 11 months ago
2000
IEEE
A better understanding of how groupware systems have been evaluated in the past can help to frame the discussion of what methods and techniques should be considered for future eva...
169
click to vote
SIGIR
1999
ACM
15 years 11 months ago
1999
ACM
We define the problem of decomposing human-written summary sentences and propose a novel Hidden Markov Model solution to the problem. Human summarizers often rely on cutting and ...