Search Results - paradigm algorithmic program functionality function https

Search alternatives:
functionality function » functionals function , functionaries function , functional functions
program functionality » protein functionality , programs functional , supra functionality
paradigm algorithmic » paradigm arithmetic , problem algorithmic
algorithmic program » algorithmic problem , algorithmic problems , algorithmic form
function https » functions https , fiction https

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”
View full text

Electronic eBook

Adaptive Dynamic Programming for Control Algorithms and Stability /

by Zhang, Huaguang., Zhang, Huaguang., Liu, Derong., Luo, Yanhong., Wang, Ding.
Published 2013

Subjects: “...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...”
View full text

Electronic eBook

Mixed Integer Nonlinear Programming

Published 2012

Table of Contents: “... programming -- Using piecewise linear functions for solving MINLPs -- An algorithmic framework for MINLP...”
View full text

Electronic eBook

Genetic Programming Theory and Practice X

Published 2013

Table of Contents: “... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”
View full text

Electronic eBook

Foundations of Genetic Algorithms 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5-9, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “...Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams -- Gray, Binary...”
View full text

Electronic eBook

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Published 2010

Table of Contents: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
View full text

Electronic eBook

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Published 2008

Table of Contents: “... in the Logic of Here-and-There -- Dynamic Programming Algorithms as Products of Weighted Logic Programs...”
View full text

Electronic eBook

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Multi-paradigm Declarative Languages -- Logic Programming for Knowledge Representation -- Regular Talks...”
View full text

Electronic eBook

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

Published 2010

Table of Contents: “...Plenary Talks -- New Research Directions in the Information Age -- The Laplacian Paradigm: Emerging...”
View full text

Electronic eBook

Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings /

Published 2011

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

Multiobjective Optimization Interactive and Evolutionary Approaches /

Published 2008

Table of Contents: “... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”
View full text

Electronic eBook

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Published 2010

Table of Contents: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”
View full text

Electronic eBook

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Published 2008

Table of Contents: “... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...”
View full text

Electronic eBook

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Published 2010

Table of Contents: “... Using Genetic Programming Algorithms on GPUs -- Analysis of the Effectiveness of G3PARM Algorithm...”
View full text

Electronic eBook

Learning and Intelligent Optimization Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers /

Published 2008

Table of Contents: “... Finding Maximal Quasi-cliques in Graphs -- Improving the Exploration Strategy in Bandit Algorithms...”
View full text

Electronic eBook

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Published 2010

Table of Contents: “... Classifier -- Boosting Algorithm with Sequence-Loss Cost Function for Structured Prediction -- Application...”
View full text

Electronic eBook

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings /

Published 2007

Table of Contents: “... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...”
View full text

Electronic eBook

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Published 2012

Table of Contents: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
View full text

Electronic eBook

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

Narrow Search