9359 search results - page 590 / 1872 » Generalization Algorithms for Second-Order Terms |
203
click to vote
CCS
2005
ACM
16 years 18 days ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
164
click to vote
CIKM
2005
Springer
16 years 18 days ago
2005
Springer
In this paper, we devise a method for the estimation of the true support of itemsets on data streams, with the objective to maximize one chosen criterion among {precision, recall}...
174
click to vote
CIKM
2005
Springer
16 years 18 days ago
2005
Springer
Summarization of text documents is increasingly important with the amount of data available on the Internet. The large majority of current approaches view documents as linear sequ...
165
click to vote
EMSOFT
2005
Springer
16 years 17 days ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
188
click to vote
EMSOFT
2005
Springer
16 years 17 days ago
2005
Springer
We study the problem of minimizing energy consumption in realtime embedded systems that execute variable workloads and are equipped with processors having dynamic voltage scaling ...