430 search results - page 20 / 86 » On Using Satisfiability-Based Pruning Techniques in Covering... |
80
Voted
SSWMC
2004
14 years 11 months ago
2004
The goal of image steganography is to embed information in a cover image using modifications that are undetectable. In actual practice, however, most techniques produce stego imag...
WABI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Protein design software places amino acid side chains by precomputing rotamer-pair energies and optimizing rotamer placement. If the software optimizes by rapid stochasti...
AIR
2000
14 years 10 months ago
2000
This paper presents the PLANMINE sequence mining algorithm to extract patterns of events that predict failures in databases of plan executions. New techniques were needed because p...
ECOOP
2008
Springer
15 years 6 days ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
The research area of evolutionary multiobjective optimization (EMO) is reaching better understandings of the properties and capabilities of EMO algorithms, and accumulating much e...