260 search results - page 19 / 52 » Blocked Clause Elimination |
FAST
2010
13 years 10 months ago
2010
A content-addressable storage (CAS) system is a valuable tool for building storage solutions, providing efficiency by automatically detecting and eliminating duplicate blocks; it ...
SAT
2009
Springer
14 years 2 months ago
2009
Springer
Induced (chord-free) cycles in binary hypercubes have many applications in computer science. The state of the art for computing such cycles relies on genetic algorithms, which are,...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
In this work, we investigate the ability of a Chunking GA (ChGA) to reduce the size of variable length chromosomes and control bloat. The ChGA consists of a standard genetic algori...
CADE
1998
Springer
13 years 12 months ago
1998
Springer
It is a well-known fact that some form of factoring is necessary for completeness of paramodulation-based calculi of general first-order clauses. In this paper we give an overview...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
In this paper we describe a robust approach to segment text from color images. The proposed approach mainly includes four steps. Firstly, a preprocessing step is utilized to enhan...