16404 search results - page 850 / 3281 » A set coverage problem |
188
click to vote
SAT
2007
Springer
16 years 1 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
187
click to vote
ISPASS
2006
IEEE
16 years 1 months ago
2006
IEEE
— Due to the long simulation times of the reference input sets, microarchitects resort to alternative techniques to speed up cycle-accurate simulations. However, the reduction in...
217
click to vote
AWCC
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. This paper proposes Particle Swarm Optimization (PSO) algorithm to discover classification rules. The potential IF-THEN rules are encoded into real-valued particles that...
215
click to vote
PAKDD
2004
ACM
16 years 29 days ago
2004
ACM
Condensed representations of pattern collections have been recognized to be important building blocks of inductive databases, a promising theoretical framework for data mining, and...
186
click to vote
CEC
2003
IEEE
16 years 27 days ago
2003
IEEE
Learning Deterministic Finite Automata (DFA) is a hard task that has been much studied within machine learning and evolutionary computation research. This paper presents a new met...