8723 search results - page 157 / 1745 » A New Analysis of Co-Training |
167
click to vote
FSE
2006
Springer
15 years 10 months ago
2006
Springer
This is the first article analyzing the security of SHA-256 against fast collision search which considers the recent attacks by Wang et al. We show the limits of applying technique...
168
click to vote
FORTEST
2008
15 years 8 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
187
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
203
click to vote
CAINE
2007
15 years 8 months ago
2007
Biologically focused, agent-based models need many parameters in order to simulate system dynamics. It is often essential to explore the consequences of many parameter vectors bef...
152
click to vote
MVA
2000
15 years 8 months ago
2000
The present paper proposes a new concept of image processing method based on vector representation for visual inspection test. The method was applied to detect defects and extract...