7840 search results - page 549 / 1568 » On generalized Ramsey numbers |
208
click to vote
INCDM
2010
Springer
15 years 9 months ago
2010
Springer
Defining the boundaries of a web-site, for (say) archiving or information retrieval purposes, is an important but complicated task. In this paper a web-page clustering approach to...
194
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
202
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
Patterns are useful knowledge about recurring problems and solutions. Detecting a security problem using patterns in requirements models may lead to its early solution. In order t...
206
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
We propose a novel probabilistic method based on the Hidden Markov Model (HMM) to learn the structure of a Latent Variable Model (LVM) for query language modeling. In the proposed...
198
click to vote
CIKM
2005
Springer
15 years 9 months ago
2005
Springer
We consider the general problem of tracking moving objects in sensor networks. The specific application we consider is that of tracking a chemical plume moving over a large infra...