1
Publicerad 2014
Innehållsförteckning: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2005
Innehållsförteckning: ... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2005
Innehållsförteckning: ... Matching Problem as a Constraint Optimization Problem -- Evolving XML Schemas and Documents Using UML Class...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2006
Innehållsförteckning: ... Logics -- The Complexity of Counting Functions with Easy Decision Version -- On Non-Interactive Zero...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2015
Innehållsförteckning: ... Perspective -- Definition of Attack in Context of High Level Interaction Honeypots -- Integrating Constraints...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2010
Innehållsförteckning: ... for Intelligent Multimodal HCI -- Constraint Satisfaction -- Optimization of Investment Options Using SQL -- A...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2010
Innehållsförteckning: ... Management from a Fuzzy Multi-objective Programming Perspective -- Evolutionary Monte Carlo Based Techniques...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2006
Innehållsförteckning: ... Control of Evolutionary Algorithms Under Time Constraints -- Role of Chaos in Swarm Intelligence — A...
Hämta fulltext
Elektronisk E-bok