122 search results - page 11 / 25 » Using Model Counting to Find Optimal Distinguishing Tests |
151
click to vote
ASIAMS
2009
IEEE
15 years 2 months ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...
106
click to vote
ESWA
2008
14 years 9 months ago
2008
Electronic negotiation experiments provide a rich source of information about relationships between the negotiators, their individual actions, and the negotiation dynami...
GECCO
1999
Springer
15 years 1 months ago
1999
Springer
The paper describes an immunogenetic approach to recognize spectra for chemical analysis. In particular, an immunological model for chemical reactions is introduced in which a pop...
BMCBI
2008
14 years 9 months ago
2008
Background: Predictive classification on the base of gene expression profiles appeared recently as an attractive strategy for identifying the biological functions of genes. Gene O...
GECCO
2003
Springer
15 years 2 months ago
2003
Springer
This paper suggests dense and switched modular primitives for a bond-graph-based GP design framework that automatically synthesizes designs for multi-domain, lumped parameter dynam...