Sökresultat - integrating functions programming decision arrays a~

Menade du:
integrating functions » integrating functional , integrating nations , integration functional
functions programming » functional programming , foundations programming , functions programmed
programming decision » programming decisions , programming recursion , programming design
decision arrays » decision areas , recursion arrays , decision essays
arrays a » arrays _

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

Publicerad 2006

Innehållsförteckning: “... and Infinite Signatures -- Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures...”
Hämta fulltext

Elektronisk E-bok

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...

Publicerad 2010

Innehållsförteckning: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2007

Innehållsförteckning: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Hämta fulltext

Elektronisk E-bok

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...

Publicerad 2005

Innehållsförteckning: “... Network for a Humanoid Robot -- Programming by Integration in Robotics -- A Mathematical Formalism...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... -- Combinatorial Optimization -- Memetic Algorithms for Constructing Binary Covering Arrays of Strength Three -- A...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2015

Innehållsförteckning: “... Arrays Construction -- Web Service Composition Based an a Multi-Agent System -- Modified Binary FireFly...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2015

Innehållsförteckning: “... -- Chapter 3. A Study of Generalized Invex Functions on Riemannian Manifold -- Chapter 4. Second order...”
Hämta fulltext

Elektronisk E-bok

Systems Biology for Signaling Networks

Publicerad 2010

Innehållsförteckning: “... Network Models -- Functional Modules in Protein–Protein Interaction Networks -- Mixture Model on Graphs: A...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... Approach for Selecting Features in High-Dimensional Micro-array Data -- A Novel Distribution of Local...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2014

Innehållsförteckning: “... arrays -- Paleogenomics as a guide for traits improvement -- Non-invasive phenotyping methodologies...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen