Search Results - programs containing https function evolution https

1

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Published 2013

Table of Contents: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
View full text

Electronic eBook

2

Gene Expression Programming Mathematical Modeling by an Artificial Intelligence /

by Ferreira, Candida., Ferreira, Candida.
Published 2006

Table of Contents: “...Introduction: The Biological Perspective -- The Entities of Gene Expression Programming...”
View full text

Electronic eBook

3

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Published 2006

Table of Contents: “...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”
View full text

Electronic eBook

4

Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings /

Published 2010

Table of Contents: “... Generic Functions -- Composing Services -- Dynamically Adaptive Systems through Automated Model Evolution...”
View full text

Electronic eBook

5

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings /

Published 2007

Table of Contents: “...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”
View full text

Electronic eBook

6

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Published 2010

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

7

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del...

Published 2007

Table of Contents: “... -- Specification and Verification of Institutions Through Status Functions -- NORMATIVE MODELS AND ISSUES...”
View full text

Electronic eBook

8

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

Published 2010

Table of Contents: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
View full text

Electronic eBook

9

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

10

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings /

Published 2008

Table of Contents: “... by Nmatrix–Metric Semantics -- A Propositional Dynamic Logic for CCS Programs -- Towards Ontology Evolution...”
View full text

Electronic eBook

11

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Ada...

Published 2008

Table of Contents: “... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”
View full text

Electronic eBook

12

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Published 2010

Table of Contents: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
View full text

Electronic eBook

13

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

Published 2010

Table of Contents: “... the Behaviour of Radial Basis Function Networks in Regression and Classification of Geospatial Data -- A...”
View full text

Electronic eBook

14

Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings /

Published 2010

Table of Contents: “... Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session...”
View full text

Electronic eBook

15

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings /

Published 2010

Table of Contents: “...: Homomorphism, Containment and Rewriting -- Enhancing Dung’s Preferred Semantics -- On the Distance of Databases...”
View full text

Electronic eBook

16

Pro DNS and BIND

by Aitchison, Ron., Aitchison, Ron.
Published 2005

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

17

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
View full text

Electronic eBook

18

Enterprise, Business-Process and Information Systems Modeling 11th International Workshop, BPMDS 2010, and 15th International Conference, EMMSAD 2010, held at CAiSE 2010, Hammamet,...

Published 2010

Table of Contents: “... and Modularly Using VCL -- Configuring the Variability of Business Process Models Using Non-Functional...”
View full text

Electronic eBook

19

Service-Oriented Computing - ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, Proceedings /

Published 2006

Table of Contents: “... Soundness for Service Orchestrations -- Modeling Web Services by Iterative Reformulation of Functional...”
View full text

Electronic eBook

20

Applied Demography in the 21st Century Selected Papers from the Biennial Conference on Applied Demography, San Antonio, Teas, Januara 7-9, 2007 /

Published 2008

Table of Contents: “... -- Address Coverage Improvement and Evaluation Program – 2005 National Estimate of Coverage of the Master...”
View full text

Electronic eBook

Narrow Search