1
Published 2014
Table of Contents: ... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Prediction -- A Fast and Accurate Heuristic for the Single Individual SNP Haplotyping Problem with Many Gaps...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ...-channel Interference Using Switched Parasitic Array Antenna in Femtocell Networks -- User Policy Based...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Mining Algorithm -- Multiset Rule-Based Programming Paradigm for Soft-Computing in Complex Systems...
View full text
Electronic eBook
6
Table of Contents: ... in modern microprocessors through genetic programming -- Antenna array synthesis with Evolutionary...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... and Possibility Theory -- A Possibilistic Approach to Combinatorial Optimization Problems on Fuzzy-Valued Matroids...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...
View full text
Electronic eBook