104 search results - page 20 / 21 » Verification Under Increasing Dimensionality |
AMOST
2007
ACM
15 years 1 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
CVPR
2006
IEEE
15 years 1 months ago
2006
IEEE
The face recognition system based on the only single classifier considering the restricted information can not guarantee the generality and superiority of performances in a real s...
BMCBI
2010
14 years 9 months ago
2010
Background: The amount of available biological information is rapidly increasing and the focus of biological research has moved from single components to networks and even larger ...
108
click to vote
SOICT
2010
14 years 4 months ago
2010
Protecting data by passwords in documents such as DOC, PDF or RAR, ZIP archives has been demonstrated to be weak under dictionary attacks. Time for recovering the passwords of suc...
74
Voted
CICLING
2005
Springer
15 years 3 months ago
2005
Springer
It is relatively common for different people or organizations to share the same name. Given the increasing amount of information available online, this results in the ever growing...