8825 search results - page 185 / 1765 » All for one or one for all |
107
click to vote
ASPDAC
2005
ACM
15 years 3 months ago
2005
ACM
－ It is a hotly research topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. BFL algorithm is the most effective Counterexample minim...
118
click to vote
FSE
2008
Springer
15 years 3 months ago
2008
Springer
Hash functions are an important building block in almost all security applications. In the past few years, there have been major advances in the cryptanalysis of hash functions, es...
ADHOCNOW
2010
Springer
15 years 3 months ago
2010
Springer
Designing message integrity schemes for data aggregation is an imperative problem for securing wireless sensor networks. In this paper, we propose three secure aggregation schemes ...
GRAPHICSINTERFACE
2008
15 years 3 months ago
2008
To establish an empirical foundation for analysis and redesign of document navigation tools, we implemented a system that logs all user actions within Microsoft Word and Adobe Rea...
LREC
2008
15 years 2 months ago
2008
We present the results of an agreement task carried out in the framework of the KNOW Project and consisting in manually annotating an agreement sample totaling 50 sentences extrac...