1
Publicerad 2008
Innehållsförteckning: ... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2008
Innehållsförteckning: ... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2005
Innehållsförteckning: ... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2007
Innehållsförteckning: ... -- On the Computation of A ???-Maps -- Algebraic Visualization of Relations Using RelView -- Comprehensive Triangular...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2013
Innehållsförteckning: ... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2010
Innehållsförteckning: ... Optimization Based Synthesis of Concentric Circular Antenna Array for Broadside Radiation -- A Particle Swarm...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2012
Innehållsförteckning: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2012
Innehållsförteckning: ... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2010
Innehållsförteckning: ... Model of Trust in Contexts -- Multi-Agent Linear Array Sensors Modeling -- A Framework for Intelligent...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2010
Innehållsförteckning: ...Workshop on Mobile Communications (MC 2010) -- A Control Loop Reduction Scheme for Wireless Process...
Hämta fulltext
Elektronisk E-bok
11
av Spear, Chris., Spear, Chris.
Publicerad 2008
Innehållsförteckning: ... Associative Arrays -- 2.6 Linked Lists -- 2.7 Array Methods -- 2.8 Choosing a Storage Type -- 2.9 Creating New...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2007
Innehållsförteckning: ... Optimized Quasi Delay Insensitive Circuits -- 3D-SoftChip: A Novel 3D Vertically Integrated Adaptive...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2005
Innehållsförteckning: ... Network for a Humanoid Robot -- Programming by Integration in Robotics -- A Mathematical Formalism...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2013
Innehållsförteckning: ... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2005
Innehållsförteckning: ... Metrics for Conceptual Models of Data Warehouses -- Design and Development of a Tool for Integrating...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2005
Innehållsförteckning: ... -- A Programming Model for an Embedded Media Processing Architecture -- Automatic ADL-Based Assembler...
Hämta fulltext
Elektronisk E-bok
17
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
18
Publicerad 2015
Innehållsförteckning: ... Perspective -- Definition of Attack in Context of High Level Interaction Honeypots -- Integrating Constraints...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2007
Innehållsförteckning: ...Keynotes -- Software Is the Answer But What Is the Question? -- Integrating VLIW Processors with a...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2005
Innehållsförteckning: ... Framework for the Image Retrieval Signal/Semantic Integration -- A New Algorithm for Content-Based Region...
Hämta fulltext
Elektronisk E-bok