1
Published 2005
Table of Contents: ... -- Automatic Completion and Refinement of Verification Sets for Microprocessor Cores -- A Genetic Algorithm...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Integrated Microarray Data -- Using Data Mining for Dynamic Level Design in Games -- A Logic Programming...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... in Tumoricidal Macrophage -- Searching for Meaningful Feature Interactions with Backward-Chaining Rule Induction...
View full text
Electronic eBook