1
Publicado 2015
Tabla de Contenidos: ... Consistency: An Experience Report on a Middle-Sized Case Study -- A constraint optimization model for analysis...
Enlace del recurso
Electrónico eBook
2
Publicado 2014
Tabla de Contenidos: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
Enlace del recurso
Electrónico eBook
3
Publicado 2005
Tabla de Contenidos: ...: Reliability and Testing -- Reliability of VLSI Linear Arrays with Redundant Links -- A Technique to Ensure...
Enlace del recurso
Electrónico eBook
4
Publicado 2005
Tabla de Contenidos: ... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...
Enlace del recurso
Electrónico eBook
5
Publicado 2012
Tabla de Contenidos: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
Enlace del recurso
Electrónico eBook
6
Publicado 2012
Tabla de Contenidos: ...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...
Enlace del recurso
Electrónico eBook
7
Publicado 2010
Tabla de Contenidos: ... Model of Trust in Contexts -- Multi-Agent Linear Array Sensors Modeling -- A Framework for Intelligent...
Enlace del recurso
Electrónico eBook
8
por Spear, Chris., Spear, Chris.
Publicado 2008
Tabla de Contenidos: ... Associative Arrays -- 2.6 Linked Lists -- 2.7 Array Methods -- 2.8 Choosing a Storage Type -- 2.9 Creating New...
Enlace del recurso
Electrónico eBook
9
Publicado 2006
Tabla de Contenidos: ...Invited Talks -- A Core Calculus for Scala Type Checking -- Tree Exploration with an Oracle...
Enlace del recurso
Electrónico eBook
10
Publicado 2005
Tabla de Contenidos: ... Matching Problem as a Constraint Optimization Problem -- Evolving XML Schemas and Documents Using UML Class...
Enlace del recurso
Electrónico eBook
11
Publicado 2010
Tabla de Contenidos: ... -- Pressure Is a Viable Controlled Output of Motor Programming for Object Manipulation Tasks -- Performance...
Enlace del recurso
Electrónico eBook
12
Publicado 2010
Tabla de Contenidos: ... -- Functional Properties of Resonate-and-Fire Neuron Circuits for Bio-Inspired Chemical Sensor Array -- A Robot...
Enlace del recurso
Electrónico eBook
13
Publicado 2015
Tabla de Contenidos: ...A Structural Theory of Rhythm Notation Based on Tree Representations and Term Rewriting...
Enlace del recurso
Electrónico eBook
14
Publicado 2015
Tabla de Contenidos: ... Perspective -- Definition of Attack in Context of High Level Interaction Honeypots -- Integrating Constraints...
Enlace del recurso
Electrónico eBook
15
Publicado 2007
Tabla de Contenidos: ... Attacks -- A Transistor Placement Technique Using Genetic Algorithm and Analytical Programming....
Enlace del recurso
Electrónico eBook
16
Publicado 2010
Tabla de Contenidos: ... Management from a Fuzzy Multi-objective Programming Perspective -- Evolutionary Monte Carlo Based Techniques...
Enlace del recurso
Electrónico eBook
17
Publicado 2006
Tabla de Contenidos: ... Control of Evolutionary Algorithms Under Time Constraints -- Role of Chaos in Swarm Intelligence — A...
Enlace del recurso
Electrónico eBook
18
Publicado 2007
Tabla de Contenidos: ...-aware Pipeline Synthesis for Array based Reconfigurable Architectures -- An Interactive Design...
Enlace del recurso
Electrónico eBook
19
Publicado 2010
Tabla de Contenidos: ... for Intelligent Multimodal HCI -- Constraint Satisfaction -- Optimization of Investment Options Using SQL -- A...
Enlace del recurso
Electrónico eBook
20
Publicado 2005
Tabla de Contenidos: ... Programming and Environment -- A Greedy Algorithm for Capacity-Constrained Surrogate Placement in CDNs...
Enlace del recurso
Electrónico eBook