Søgeresultater - genetic computing programming programming contracts https

1

Genetic Programming Theory and Practice XI

Udgivet 2014

Indholdsfortegnelse: “... System for the Genome-Wide Genetic Analysis of Alzheimer's Disease -- Optimizing a Cloud Contract...”
Få fuldtekst

Electronisk eBog

2

Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Checking and Genetic Programming -- ECDAR: An Environment for Compositional Design and Analysis of Real...”
Få fuldtekst

Electronisk eBog

3

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Udgivet 2005

Indholdsfortegnelse: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Få fuldtekst

Electronisk eBog

4

Electrical Engineering and Applied Computing

Udgivet 2011

Indholdsfortegnelse: “... Identification Using Genetic Algorithms -- 2. Sequential State Computation Using Discrete Modeling -- 3...”
Få fuldtekst

Electronisk eBog

5

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”
Få fuldtekst

Electronisk eBog

6

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Udgivet 2010

Indholdsfortegnelse: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Få fuldtekst

Electronisk eBog

7

Recent Advances in Evolutionary Computation for Combinatorial Optimization

Udgivet 2008

Indholdsfortegnelse: “... -- Performance and Scalability of Genetic Algorithms on NK-Landscapes -- Engineering Stochastic Local Search...”
Få fuldtekst

Electronisk eBog

8

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Decomposition -- Computing the Arrow-Debreu Competitive Market Equilibrium and Its Extensions -- Contributed...”
Få fuldtekst

Electronisk eBog

9

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Få fuldtekst

Electronisk eBog

10

Experimental Algorithms 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings /

Udgivet 2010

Indholdsfortegnelse: “...Invited Papers -- Experimental Study of Resilient Algorithms and Data Structures -- Computational...”
Få fuldtekst

Electronisk eBog

11

Advances in Artificial Intelligence: Theories, Models, and Applications 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Constructive Models for Set Contraction -- Semantic Awareness in Automated Web Service Composition through...”
Få fuldtekst

Electronisk eBog

12

Emerging Technologies for Information Systems, Computing, and Management

Udgivet 2013

Indholdsfortegnelse: “...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...”
Få fuldtekst

Electronisk eBog

13

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

Udgivet 2015

Indholdsfortegnelse: “... genetic programming -- MEMS Dual Axis Accelerometer with H-T Shape Structure -- Prior Data Quality...”
Få fuldtekst

Electronisk eBog

14

Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2

Udgivet 2015

Indholdsfortegnelse: “... Strategy of Genetic Programming -- Nature-inspired Chemical Reaction Optimisation Algorithm for Handling...”
Få fuldtekst

Electronisk eBog

15

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Computation -- Improving Efficiency of a Genetic Algorithm Applied to Multi-robot Tactic Operation -- VarMOPSO...”
Få fuldtekst

Electronisk eBog

16

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France,...

Udgivet 2006

Indholdsfortegnelse: “...Grid Computing, High Performance and Distributed Applications (GADA) 2006 International Conference...”
Få fuldtekst

Electronisk eBog

17

Industrial Engineering, Management Science and Applications 2015

Udgivet 2015

Indholdsfortegnelse: “... Reliability Analysis Considering the Fault Detection Trends for Big Data on Cloud Computing; Yoshinobu Tamura...”
Få fuldtekst

Electronisk eBog

18

Progress in Pattern Recognition, Image Analysis and Applications 11th Iberoamerican Congress on Pattern Recognition, CIARP 2006, Cancún, Mexico, November 14-17, 2006, Proce...

Udgivet 2006

Indholdsfortegnelse: “... Translucency Using Dynamic Programming -- A Method for Detection and Modeling of the Human Spine Based...”
Få fuldtekst

Electronisk eBog

19

Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part I /

Udgivet 2015

Indholdsfortegnelse: “... and Visually Impaired students can perform computer-aided molecular design with an assistive molecular...”
Få fuldtekst

Electronisk eBog

20

Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Programming -- A Dynamic Migration Model for Self-adaptive Genetic Algorithms -- Financial Engineering -- A...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning