519 search results - page 102 / 104 » Comparing Instance Generation Methods for Automated Reasonin... |
114
Voted
SOICT
2010
14 years 5 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...
96
Voted
EMSOFT
2008
Springer
15 years 1 days ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
72
Voted
BMCBI
2006
14 years 10 months ago
2006
Background: We present a novel strategy for classification of DNA molecules using measurements from an alpha-Hemolysin channel detector. The proposed approach provides excellent c...
103
Voted
CIKM
2008
Springer
15 years 8 days ago
2008
Springer
Every piece of textual data is generated as a method to convey its authors' opinion regarding specific topics. Authors deliberately organize their writings and create links, ...
77
Voted
JSAT
2006
14 years 10 months ago
2006
Abstract. We introduce new approaches intended to speed up determining the satisfiability of a given Boolean formula expressed as a conjunction of Boolean functions. A common prac...