10156 search results - page 189 / 2032 » Step by Step to Histories |
185
click to vote
3DPVT
2006
IEEE
15 years 11 months ago
2006
IEEE
The CSC (color structure code) is a robust and fast two dimensional segmentation method which has been already generalized to three dimensional images. As the CSC does not need an...
187
click to vote
AIRS
2006
Springer
15 years 11 months ago
2006
Springer
In data fusion, score normalization is a step to make scores, which are obtained from different component systems for all documents, comparable to each other. It is an indispensabl...
175
click to vote
FSE
2006
Springer
15 years 11 months ago
2006
Springer
We present several attacks against Achterbahn, one of the new stream ciphers proposed to the eSTREAM competition. Our best attack breaks the reduced version of the cipher with comp...
204
click to vote
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...
178
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Many software applications consist of a number of interdependent steps and are executed under the supervision of a human administrator or operator. The administrator responds to e...