1
Julkaistu 2007
Sisällysluettelo: ... with Multidimensional Arrays -- A New Memory Slowdown Model for the Characterization of Computing Systems -- SCRF – A...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2005
Sisällysluettelo: ... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2015
Sisällysluettelo: .... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2010
Sisällysluettelo: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2005
Sisällysluettelo: ... on the Grid Using Irregular Array Distributions -- Dynamic Adaptation for Grid Computing -- Improving...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2010
Sisällysluettelo: ... Antenna Array System -- Automatic Parameter Tuning with Metaheuristics of the AODV Routing Protocol...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2006
Sisällysluettelo: ... Review on Design Optimisation and Exploration with Interactive Evolutionary Computation -- Pattern...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2006
Sisällysluettelo: ... Logics -- The Complexity of Counting Functions with Easy Decision Version -- On Non-Interactive Zero...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2013
Sisällysluettelo: ...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2014
Sisällysluettelo: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2014
Sisällysluettelo: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2008
Sisällysluettelo: ...Session 1: Invited Talk -- Software Verification: Roles and Challenges for Automatic Decision...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2015
Sisällysluettelo: ...: OntologicalApproach -- Decision Support Systems for Knowledge Management -- Innovation in Services. Implications...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2005
Sisällysluettelo: ... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2006
Sisällysluettelo: ... Synthesis of Fault-Tolerant Real-Time Programs -- Toward a Time-Optimal Odd Phase Clock Unison in Trees...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2010
Sisällysluettelo: ... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2014
Sisällysluettelo: ... Filters for Common Spatial Patterns by Preserving Locally Linear Structure of EEG Trials -- Interactive...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2014
Sisällysluettelo: ... of the Anticipatory Reflexes of a Computational Model of the Cerebellum -- Evolving Optimal Swimming in Different...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2010
Sisällysluettelo: ... Construction -- From Microarray to Biology -- Modeling and Reconstruction -- Computational Procedures for Model...
Hae kokoteksti
Elektroninen E-kirja