Результаты поиска - function computation programming recursion complexity methods*

Альтернативы поиска:
computation programming » communication programming , computation programmatic , computing programming
programming recursion » programming decision , programming session , programming decisions
function computation » function computing , function decomposition , section computational
recursion complexity » recursions complexity , recursive complexity , regulation complexity
complexity methods » complexity method , complexity metrics , complex methods

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Опубликовано 2015

Оглавление: “... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”
Полный текст

Электронный ресурс eКнига

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Опубликовано 2008

Оглавление: “... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”
Полный текст

Электронный ресурс eКнига

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...”
Полный текст

Электронный ресурс eКнига

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Опубликовано 2012

Оглавление: “... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...”
Полный текст

Электронный ресурс eКнига

Discrete Mathematics Using a Computer

по O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
Опубликовано 2006

Оглавление: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Полный текст

Электронный ресурс eКнига

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings /

Опубликовано 2006

Оглавление: “... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...”
Полный текст

Электронный ресурс eКнига

Computer Science -- Theory and Applications First International Symposium on Computer Science...

Опубликовано 2006

Оглавление: “... Approach -- A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity -- Bulk Synchronous...”
Полный текст

Электронный ресурс eКнига

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /

Опубликовано 2013

Оглавление: “... and Complexity -- Cruise Control in Hybrid Event-B -- From Distributions to Probabilistic Reactive Programs...”
Полный текст

Электронный ресурс eКнига

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Опубликовано 2005

Оглавление: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Полный текст

Электронный ресурс eКнига

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Опубликовано 2006

Оглавление: “... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...”
Полный текст

Электронный ресурс eКнига

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers /

Опубликовано 2006

Оглавление: “... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...”
Полный текст

Электронный ресурс eКнига

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Опубликовано 2006

Оглавление: “... Programs -- Preemptive Online Scheduling: Optimal Algorithms for All Speeds -- On the Complexity...”
Полный текст

Электронный ресурс eКнига

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /

Опубликовано 2010

Оглавление: “... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2005

Оглавление: “... -- Recursive Self-organizing Map as a Contractive Iterative Function System -- Differential Priors for Elastic...”
Полный текст

Электронный ресурс eКнига

Machine Learning: ECML 2007 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... Computation of Recursive Principal Component Analysis for Structured Input -- Hinge Rank Loss and the Area...”
Полный текст

Электронный ресурс eКнига

New Frontiers in Artificial Intelligence Joint JSAI 2005 Workshop Post-Proceedings /

Опубликовано 2006

Оглавление: “... of Functionality and Semantic Annotation for Technical Knowledge Management -- Support for Content Creation Using...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2006

Оглавление: “... Translucency Using Dynamic Programming -- A Method for Detection and Modeling of the Human Spine Based...”
Полный текст

Электронный ресурс eКнига

Machine Learning and Data Mining in Pattern Recognition 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска