Search Results - integration functions programming decisions arrays a~

Search alternatives:
integration functions » integration functional , integrating functions , interactions functions
functions programming » functional programming , foundations programming , functions programmed
programming decisions » programming decision , programming design , programming session
decisions arrays » decisions essays , decisions says , decisions barriers
arrays a » arrays _

Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “... and Infinite Signatures -- Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures...”
View full text

Electronic eBook

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Published 2010

Table of Contents: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
View full text

Electronic eBook

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
View full text

Electronic eBook

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Published 2005

Table of Contents: “... Network for a Humanoid Robot -- Programming by Integration in Robotics -- A Mathematical Formalism...”
View full text

Electronic eBook

Artificial Evolution 9th International Conference, Evolution Artificielle, EA 2009, Strasbourg, France, October 26-28, 2009. Revised Selected Papers /

Published 2010

Table of Contents: “... -- Combinatorial Optimization -- Memetic Algorithms for Constructing Binary Covering Arrays of Strength Three -- A...”
View full text

Electronic eBook

Mathematics and Computing ICMC, Haldia, India, January 2015 /

Published 2015

Table of Contents: “... -- Chapter 3. A Study of Generalized Invex Functions on Riemannian Manifold -- Chapter 4. Second order...”
View full text

Electronic eBook

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems /

Published 2015

Table of Contents: “... Arrays Construction -- Web Service Composition Based an a Multi-Agent System -- Modified Binary FireFly...”
View full text

Electronic eBook

Systems Biology for Signaling Networks

Published 2010

Table of Contents: “... Network Models -- Functional Modules in Protein–Protein Interaction Networks -- Mixture Model on Graphs: A...”
View full text

Electronic eBook

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Published 2010

Table of Contents: “... Approach for Selecting Features in High-Dimensional Micro-array Data -- A Novel Distribution of Local...”
View full text

Electronic eBook

Genomics of Plant Genetic Resources Volume 1. Managing, sequencing and mining genetic resources /

Published 2014

Table of Contents: “... arrays -- Paleogenomics as a guide for traits improvement -- Non-invasive phenotyping methodologies...”
View full text

Electronic eBook

Narrow Search